Popular repositories Loading

1. interpretability-logics interpretability-logics Public

   Agda 2

2. mlda mlda Public

   Modal Logic for Distributed Algorithms

   Lean 1

3. group-theory group-theory Public

   Lean 1

4. Zeno Zeno Public

   Forked from Gurmeet-Singh/Zeno

   Unofficial Zeno clone. Works with ghc-7.10.3 and stack

   Haskell

5. docker-emacs-org docker-emacs-org Public

   Docker image for emacs org-mode

   Emacs Lisp

6. gen-veltman-semantics-aiml-2020 gen-veltman-semantics-aiml-2020 Public

   Generalised Veltman Semantics in Agda

   TeX