siddhartha-gadgil

LeanAide

Tools based on AI for helping with Lean 4

Saturn

Experiments with SAT solvers with proofs in Lean 4

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

Polylean

Superficial

Curves and other structures on surfaces (topology)

DeptWeb

The web site for Department of Mathematics, IISc

LeanLion

Code for Singapore Workshop on Formal Proofs and Lean

introduction-algebraic-topology-2020

Sources for a first course on Algebraic Topology and the course website.

lean4-metaprogramming-book

LeanAideTools

Tools, specifically for running tactics in the background, with minimal dependencies

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

automating-mathematics

Classical-Mechanics-Lean

CounterExample

CourseSchedule

Course scheduling, perhaps other admin tasks

GeomDeducer

Deduction part of AlphaGeometry in Lean (in progress)

GroupComp

Lean 4 code and some slides for the NCM workshop on Groups and Computations at KREA, July 2023

homepage

intro-algebraic-topology-2023

Course repository for "MA 232: Introduction to Algebraic Topology", IISc, August 2023

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

SciLean

Scientific computing in Lean 4