Popular repositories Loading

1. Idris-Number-Theory Idris-Number-Theory Public

   Elementary number theory written in Idris.

   Idris 2 2

2. Girard-and-Burali-Forti Girard-and-Burali-Forti Public

   A try to prove Girard's paradox in idris

   TeX 2 1

3. idris-algebra idris-algebra Public

   Formalization of algebra in Idris

   Idris 1

4. Presentations Presentations Public

   Just learning to use Git Hub

   TeX

5. LTS2019 LTS2019 Public

   Forked from siddhartha-gadgil/LTS2019

   Web page, code for "Logic, Types Spaces 2019" at IISc

   Idris

6. Lattices-in-Idris Lattices-in-Idris Public

   Trying to prove Knaster-Tarski theorem in Idris

   Idris