Pinned Loading

1. ufmg-smite/lean-smt ufmg-smite/lean-smt Public

   Tactics for discharging Lean goals into SMT solvers.

   Lean 242 32

2. Lam Lam Public

   A formally verified interpreter for Lambda Calculus.

   Agda 6

3. lean-syntax-highlight lean-syntax-highlight Public

   A plugin for Obsidian that provides syntax highlight for Lean.

   JavaScript 6 1

4. TinySAT TinySAT Public

   A tiny proof producing SAT solver.

   OCaml 3 1

5. FunctionalEditor FunctionalEditor Public

   An editor for functional programming languages (WIP).

   Rust 2

6. monkey-rs monkey-rs Public

   Rust