Pinned Loading

1. cubical cubical Public

   Repository for Bachelor's Thesis on "Cubical Homotopy Type Theory" under Prof Siddhartha Gadgil (https://github.com/siddhartha-gadgil)

   Lean 1

2. AutomataLean AutomataLean Public

   This project aims to formalize some concepts of Automata Theory and Parsing into Lean4 Theorem Prover. This was a course project for the course 'Proofs and Programs' offered by Prof Siddhartha Gadg…

   Lean

3. proofs-and-programs-25 proofs-and-programs-25 Public template

   Forked from proofs-and-programs/proofs-and-programs-25

   Code for the course "Proofs and Programs", January 2025, IISc

   Lean

4. berger-holonomy berger-holonomy Public

   Final presentation for the MA 333: Riemannian Geometry course about the Berger Classification of Holonomies in Fall 2025 at IISc.

   TeX

5. brainfuck brainfuck Public

   brainfuck compiler and interpreter

   Haskell

6. GlimpseOfLean GlimpseOfLean Public

   Forked from PatrickMassot/GlimpseOfLean

   An introduction to theorem proving in Lean for the impatient.

   Lean