Pinned Loading

1. tilogics tilogics Public

   Mechanized proofs and example programs for the paper Type Inference Logics, published at OOPSLA24.

   Coq 11 1

2. QGoose/Goose QGoose/Goose Public

   An OCaml library for quantum computing

   OCaml 11

3. acorrenson/metamatix acorrenson/metamatix Public

   A verified implementation of a metamath proof checker

   Coq 9 1

4. logsem/cerise logsem/cerise Public

   Formalisation of a capability machine and principles for reasoning about security properties

   Coq 22 8