Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with formalisation-mathematics
A curated list of projects in awesome lists tagged with formalisation-mathematics .
https://github.com/pitmonticone/leaninvienna2024
Repository hosting resources for the "Lean Tutorial in Vienna" at TU Wien from September 18 to 20, 2024.
formal-mathematics formal-methods formal-proofs formalisation formalisation-mathematics formalized-mathematics interactive-theorem-proving lean lean4 leanprover logic mathematics proof-assistant research tu-wien tutorial
Last synced: 22 Jan 2025
https://github.com/jjaassoonn/GAGA
(Attempt of) Formalising the GAGA theorem
algebraic-geometry formalisation-mathematics
Last synced: 29 Nov 2024
https://github.com/jjaassoonn/gaga
(Attempt of) Formalising the GAGA theorem
algebraic-geometry formalisation-mathematics
Last synced: 05 Dec 2024