joewatt95's Stars
IBM/FormalML
Formalization of Machine Learning Theory with Applications to Program Synthesis
WebAssembly/stack-switching
A repository for the stack switching proposal.
deepseek-ai/DeepSeek-Prover-V1.5
kkaunda/spgf
Structure in Prime Gaps - Formalized
facebookresearch/Evariste
HyperTree Proof Search for Neural Theorem Proving -- "La science est l'œuvre de l'esprit humain, qui est plutôt destiné à étudier qu'à connaître, à chercher qu'à trouver la vérité."
MohanadAhmed/LeanMathSigProc
girving/debate
Formalizing stochastic doubly-efficient debate
tweag/ghc-wasm-miso-examples
digama0/ast_export
AST export from Lean 4
FormalizedFormalLogic/Book
Summary
Deducteam/lean2dk
WIP translation from Lean to Dedukti
JOSHCLUNE/LeanSMTParser
sinhp/groupoid_model_in_lean4
copier-org/copier
Library and command-line utility for rendering projects templates.
VCA-EPFL/leanses
Lean lens implementation with custom notation.
vasnesterov/HadwigerNelson
Hadwiger-Nelson Problem Formalization in Lean 4
NethermindEth/Clear
Interactive formal verification tool for Yul programs
tomhanika/conexp-clj
A General-Purpose Tool for Formal Concept Analysis
Wasm-DSL/spectec
Wasm SpecTec specification tools
anteoas/broch
A library for handling numbers with units.
pkshashank/GFLeanTransfer
MichaelMMacLeod/formal-mergesort
WIP formally-verified implementation of mergesort (efficient; only allocates one auxiliary array, sorts arrays in-place)
chanind/mathlib-changelog
risc0/risc0-lean4
A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
reaslab/jixia
A static analysis tool for Lean 4.
rookie-joe/PDA
seewoo5/lean-poly-abc
Formalization of the proof of ABC conjecture for polynomials (Mason-Stothers theorem) in Lean 4
LPCIC/elpi
Embeddable Lambda Prolog Interpreter
dwrensha/animate-lean-proofs
tool for turning Lean proofs into Blender animations
google-deepmind/neural_networks_solomonoff_induction
Learning Universal Predictors