Pinned Loading

1. mathlib mathlib Public

   Forked from leanprover-community/mathlib3

   Lean standard library

   Lean

2. ModalTab ModalTab Public

   Verified decision procedures for modal logics in Lean

   Lean 13 2

3. HOL HOL Public

   Forked from HOL-Theorem-Prover/HOL

   Canonical sources for HOL4 theorem-proving system. Branch `develop` is where “mainline development” occurs; when `develop` passes our regression tests, `master` is merged forward to catch up.

   Standard ML