-
-
-
lean3 Public
Forked from leanprover-community/leanLean Theorem Prover
-
mathport Public
Forked from leanprover-community/mathportMathport is a tool for porting Lean3 projects to Lean4
Lean Apache License 2.0 UpdatedMar 17, 2022 -
mathzoo Public
Forked from leanprover-community/mathzooLean mathzoo
-
-
lean_proof_recording Public
Forked from jasonrute/lean_proof_recordingProof recording for Lean 3
Python Apache License 2.0 UpdatedFeb 15, 2022 -
lean-step-public Public
Forked from jesse-michael-han/lean-step-publicProof artifact co-training for Lean
-
lean-gptf Public
Forked from jesse-michael-han/lean-gptfInteractive neural theorem proving in Lean
Lean Apache License 2.0 UpdatedFeb 4, 2022 -
mathlib3port Public
Forked from leanprover-community/mathlib3portStub for downloading mathport artifacts for mathlib3
Lean UpdatedJan 27, 2022 -
lean4 Public
Forked from leanprover/lean4Lean4 work in progress repo
-
mathlib4 Public
Forked from leanprover-community/mathlib4Work in progress mathlib port for lean 4
Lean Apache License 2.0 UpdatedJan 20, 2022 -
lean3port Public
Forked from leanprover-community/lean3portStub for downloading mathport artifacts for Lean 3
Lean UpdatedJan 5, 2022 -
mathlib Public
Forked from leanprover-community/mathlib3Lean mathematical components library
Lean Apache License 2.0 UpdatedOct 6, 2021 -
binport Public archive
A tool for building Lean4 .olean files from Lean3 export data
-
-
lean Public
Forked from leanprover/lean3Lean Theorem Prover
-
nnsos Public
Synthetic data for (cyclic) sum-of-squares decomposition problems.
-
oracle Public
Haskell prototype of the Search Transformer and Universal Oracle
-
minGPT Public
Forked from karpathy/minGPTA minimal PyTorch re-implementation of the OpenAI GPT (Generative Pretrained Transformer) training
Jupyter Notebook MIT License UpdatedSep 22, 2020 -
emacs Public
Forked from emacs-mirror/emacsMirror of GNU Emacs
Emacs Lisp GNU General Public License v3.0 UpdatedSep 5, 2020 -
-
-
neurocore-public Public
NeuroCore: Guiding CDCL with Unsat-Core Predictions
-
neurosat Public
NeuroSAT: Learning a SAT Solver from Single-Bit Supervision
-
minisat Public
Forked from niklasso/minisatA minimalistic and high-performance SAT solver
C++ Other UpdatedMar 6, 2019 -
certigrad Public
Bug-free machine learning on stochastic computation graphs
-
-
robbed Public
Forked from travitch/robbedA pure Haskell implementation of Reduced Ordered Binary Decision Diagrams (BDDs)
Haskell BSD 3-Clause "New" or "Revised" License UpdatedDec 14, 2018 -
neurocuber Public
NeuroCuber: training NeuroSAT to make cubing decisions for hard SAT problems