Popular repositories Loading

1. slate slate Public

   The Slate Interactive Theorem Prover

   TypeScript 23 1

2. slate-hlm slate-hlm Public

   HLM mathematical library for the Slate interactive theorem prover

   Shell 4 1

3. lean4-experiments lean4-experiments Public

   Some initial experiments with the Lean 4 theorem prover, exploring possibilities for interaction with HLM.

   Lean 3

4. slate2 slate2 Public

   Beginnings of reimplementation of slate-prover

   Rust 3

5. universe-abstractions universe-abstractions Public

   A Lean 4 project to formalize mathematical universes with added structure

   Lean 2

6. react-portal-tooltip react-portal-tooltip Public

   Forked from bhunjadi/react-portal-tooltip

   Awesome React tooltip

   JavaScript 1 1