合并请求 共 15
#66
#66 · ? ·
#68
#68 · ? ·
#65
#65 · ? ·
#63
#63 · ? ·
#64
#64 · ? ·
feat(Analysis/Calculus/FwdFDerivRestrict): Add `simproc` for domain restriction with `fwdFDeriv`
#56 · Paul-Lez · 2025-02-05
update lean version to match mathlib
#54 · alok · 2025-01-28
Update lean-toolchain
#53 · alok · 2024-12-25
add devcontainer configuration
#44 · Seasawher · 2024-09-01
update workflow
#43 · Seasawher · 2024-09-01