Skip to content
GitLab
Explore
Sign in
Micaela Mayero
Numerical Analysis in Coq
Repository
coq-num-analysis
README.md
Find file
Blame
History
Permalink
Remove FiniteDim and add classical dependency
· 4667d289
Pierre Rousselin
authored
Sep 22, 2023
4667d289