Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with formalized-mathematics
A curated list of projects in awesome lists tagged with formalized-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
