Pinned Loading

1. AutomataTheory AutomataTheory Public

   Automata theory in Lean

   Lean 17 1

2. cslib cslib Public

   Forked from leanprover/cslib

   A Lean library for Computer Science

   Lean

3. dircifrar dircifrar Public

   Directory synchronization and encryption using libsodium

   Python 5

4. xed_utils xed_utils Public

   Scripts for organizing and displaying x86 instruction encoding information in XED

   Python 6

5. my_lean my_lean Public

   My Lean playground

   Lean 1

6. php_wo_em php_wo_em Public

   Proving pigeonhole principle without excluded middle in Coq

   Coq