Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with philosophical-mathematics
A curated list of projects in awesome lists tagged with philosophical-mathematics .
https://github.com/zelosleone/lean-theorems
A repository for studying and implementing Lean theorems, focusing on mathematical and philosophical concepts.
euclidean-geometry formal-verification geometry lean lean4 mathematics philosophical-logic philosophical-mathematics real-analysis theorem-proving theorem-provings topology
Last synced: 16 Nov 2024
