Pinned Loading

1. mcltl-rs mcltl-rs Public

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

   Rust 6 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-rocq Inclogic-rocq Public

   Formalisation of the Incorrectness logic in Rocq

   Rocq Prover 1

6. tla-lambdapi tla-lambdapi Public

   Lambdapi

   SMT