Popular repositories Loading

1. software-foundations-lean software-foundations-lean Public

   A translation of Software Foundations to LEAN

   Lean 5

2. satiscugcat.github.io satiscugcat.github.io Public

   Trying to build a website using Hugo

   JavaScript 1

3. lambda-org lambda-org Public

   An organisational repository for work done by the LAMBDA group at IITGN. An org file is used at the top level to describe the planned activities of the group, and the progress towards getting them …

   1

4. assertion_insecurity assertion_insecurity Public

   Implementing the Proof Systems from the Assertion Insecurity Paper

   Coq

5. timing-side-channels timing-side-channels Public

   Rocq Prover

6. lean-resources lean-resources Public

   A collection of resources for learning LEAN4