Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists by siddhartha-gadgil

A curated list of projects in awesome lists by siddhartha-gadgil .

https://github.com/siddhartha-gadgil/ProvingGround

Proving Ground: Tools for Automated Mathematics

homotopy scala theorem-proving

Last synced: 29 Nov 2024

https://github.com/siddhartha-gadgil/LeanAide

Tools based on AI for helping with Lean 4

lean4

Last synced: 29 Nov 2024

https://github.com/siddhartha-gadgil/proofs-and-programs-2023

Code and source for website for the course "Proofs and Programs", January 2023, Indian Institute of Science

Last synced: 29 Nov 2024

https://github.com/siddhartha-gadgil/trepplein4

lean 4 typechecker in scala (based on Gabriel Ebner's trepplein)

Last synced: 29 Nov 2024