Pinned Loading

1. mcltl-rs mcltl-rs Public

   [beta] An experimental model checker for LTL written in Rust

   Rust 5 2

2. my-resume my-resume Public

   My resume written with Latex

   TeX 1

3. carcara carcara Public

   Forked from ufmg-smite/carcara

   Branch to work on lambdapi export

   Rust

4. cps_parser cps_parser Public

   OCaml

5. Inclogic-coq Inclogic-coq Public

   [WIP] Attempt to formalise the Incorrectness logic in Coq

   Rocq Prover 1

6. tla-lambdapi tla-lambdapi Public

   Lambdapi

   SMT