Pinned Loading

1. catlib-sml catlib-sml Public

   category theory library of SML

   Standard ML

2. state-merging state-merging Public

   a parameterized implementation of state-merging inference algorithms for finite-state automata and transducers

   Python

3. simply-typed-parametric simply-typed-parametric Public

   a development of various simple type systems using compositional feature modules

   Agda

4. Lean-TowerOfHanoi Lean-TowerOfHanoi Public

   a formalization of the Tower of Hanoi game

   Lean

5. AutomatePolynomial AutomatePolynomial Public

   proof by reflection for Mathlib polynomials

   Lean 4