Siddhartha Gadgil's repositories
lean-loris
Experiments with some ways of automating reasoning in lean 4
algebraic-topology-2020
source for course web page
proofs-and-programs-2023
Code and source for website for the course "Proofs and Programs", January 2023, Indian Institute of Science
Superficial
Curves and other structures on surfaces (topology)
LeanAideTools
Tools, specifically for running tactics in the background, with minimal dependencies
introduction-algebraic-topology-2020
Sources for a first course on Algebraic Topology and the course website.
LeanMetaCompute
Computation verified by generating proof terms
topology-2021
Web page for the Topology course at IISc, Aug 2021
trepplein4
lean 4 typechecker in scala (based on Gabriel Ebner's trepplein)
algebraic-topology-2024
Course web page for "MA 332: Algebraic Topology" at the Indian Institute of Science, January 2024
CourseSchedule
Course scheduling, perhaps other admin tasks
GeomDeducer
Deduction part of AlphaGeometry in Lean (in progress)
intro-algebraic-topology-2023
Course repository for "MA 232: Introduction to Algebraic Topology", IISc, August 2023
intro-algebraic-topology-2024
Course website for the course MA 232: Introduction to Algebraic topology at IISc
lean4export
Plain-text declaration export for Lean 4
LeanFunSearch
Implementation in Lean of "FunSearch"
Leantegration
Symbolic integration in Lean: Data generation for AI prompting/fine tuning
NNG4_Solutions
My solutions to the Lean 4 Natural Number Game
presentations
presentations using reveal.js