Popular repositories Loading

1. tfmsadhith.github.io tfmsadhith.github.io Public

   My personal website.

   HTML 1

2. logic-for-proofs-and-programs logic-for-proofs-and-programs Public

   Taken under Prof Danvy in AY23/24 Semester 2.

   Coq

3. mechanised-reasoning mechanised-reasoning Public

   Programs written in Danvy's class.

   Coq

4. fermats-little-theorem fermats-little-theorem Public

   A formal proof of Fermat's Little Theorem.

   Coq

5. AoC AoC Public

   Some puzzles.

   Ruby

6. scripts scripts Public

   Little scripts I write here and there to make a point or two.

   Python