Alternatives and similar repositories for docs:

Users that are interested in docs are comparing it to the libraries listed below

• ChezJrk / verified-scheduling
  ☆35Updated 9 months ago
• vehicle-lang / vehicle
  A toolkit for enforcing logical specifications on neural networks
  ☆84Updated this week
• leanprover / fp-lean
  Functional Programming in Lean
  ☆74Updated 8 months ago
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆47Updated 7 months ago
• opencompl / lean-mlir
  A minimal development of SSA theory
  ☆108Updated this week
• Zeta611 / simplebnf
  ⌥ Simple Backus–Naur form (BNF) LaTeX package
  ☆40Updated last year
• bollu / discrete-differential-geometry
  An elegant implementation of discrete diffgeo in haskell
  ☆33Updated 5 years ago
• Armael / cdcl
  ☆16Updated 5 years ago
• IPDSnelting / velcom
  Continuous benchmarking
  ☆14Updated 3 weeks ago
• leanprover / LNSym
  Armv8 Native Code Symbolic Simulator in Lean
  ☆72Updated last month
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆109Updated 3 months ago
• Bastacyclop / egg-sketches
  sketches for egg: a flexible, high-performance e-graph library
  ☆26Updated last week
• tlringer / proof-demos
  Repository where I'll collect some demos of proof assistants that I show to various people in order to spread the magic
  ☆38Updated 2 years ago
• egraphs-good / egraphs-good.github.io
  egraphs-good website
  ☆15Updated 3 months ago
• elliottt / easy-smt
  Easy SMT solver interaction
  ☆30Updated this week
• rems-project / linksem
  Semantic model for aspects of ELF static linking and DWARF debug information
  ☆43Updated last month
• dennybritz / probability-monads
  ☆9Updated 2 years ago
• GaloisInc / lean4-balance-car
  Lean4 port of Arduino balance car controller
  ☆44Updated 3 years ago
• OPLSS / oplss-notes-2019
  Notes and handouts from OPLSS 2019
  ☆34Updated 5 years ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆66Updated 3 weeks ago
• leanprover-community / iris-lean
  Lean 4 port of Iris, a higher-order concurrent separation logic framework
  ☆73Updated this week
• RobinKa / egga
  Symbolic Geometric Algebra with E-Graphs
  ☆18Updated last year
• IPDSnelting / tba-2022
  Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition
  ☆19Updated 2 years ago
• leanprover / functional_programming_in_lean
  A book about functional programming in Lean
  ☆39Updated 11 months ago
• sinanmohd / evanix
  Nix build Scheduler
  ☆11Updated this week
• math-comp / finmap
  Finite sets, finite maps, multisets and generic sets
  ☆47Updated 2 weeks ago
• digama0 / mizar-rs
  Alternative Mizar proof checker (http://mizar.org/) written in Rust
  ☆49Updated 5 months ago
• coq-tactician / coq-tactician
  A Seamless, Interactive Tactic Learner and Prover for Coq
  ☆59Updated last month
• logsem / clutch
  Probabilistic separation logics for verifying higher-order probabilistic programs.
  ☆20Updated this week
• b-mehta / combinatorics
  ☆22Updated 2 years ago