Popular repositories Loading

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

   Taken under Prof Danvy in AY23/24 Semester 2.

   Coq

2. mechanised-reasoning mechanised-reasoning Public

   Programs written in Danvy's class.

   Coq

3. fermats-little-theorem fermats-little-theorem Public

   A formal proof of Fermat's Little Theorem.

   Coq

4. tfmsadhith.github.io tfmsadhith.github.io Public

   My website :)

   HTML

5. AoC AoC Public

   Some puzzles.

   Ruby

6. scripting scripting Public

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

   Python