Pinned Loading

1. cedille/cedille2 cedille/cedille2 Public

   Rust 18 1

2. olette olette Public

   Optimal Lambda Evaluator Toy

   Rust 5 1

3. ankideckffs ankideckffs Public

   An anki plugin to import decks organized on the filesystem instead of in a SQLite database.

   Python 4 2

4. lean-subst lean-subst Public

   Lean4 library for substitution inspired by autosubst

   Lean 16 3

5. lean-stlc lean-stlc Public

   Lean4 mechanization of the simply typed lambda calculus and its metatheory including strong normalization

   Lean 2 1

6. lean-sysf lean-sysf Public

   Lean 1 1