Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with theorem-provings
A curated list of projects in awesome lists tagged with theorem-provings .
https://github.com/nohomey/fmi-bachelor-the-math-part
This repository contains a lot of my Math writings (home works, study materials, guides and proofs) which I wrote during my Bachelor of Informatics.
bachelor fmi-bachelor math theorem-provings
Last synced: 13 Nov 2024
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
