dselsam Goto Github PK

arc

Experimental solver for ARC

binport

A tool for building Lean4 .olean files from Lean3 export data

certifloat

certigrad

Bug-free machine learning on stochastic computation graphs

cnfgen

CNF generator in DIMACS format. It produces common families of CNFs.

cs103

emacs

Mirror of GNU Emacs

identity

Training an MLP on the identity function.

islanders

Formalization of the infamous blue-eyed islanders puzzle in Lean.

lean

Lean Theorem Prover

lean-gptf

Interactive neural theorem proving in Lean

lean-gym

lean-python-bindings

Python Bindings to the Lean Theorem Prover http://leanprover.github.io/

lean-step-public

Proof artifact co-training for Lean

lean3

Lean Theorem Prover

lean3-gym

lean3port

Stub for downloading mathport artifacts for Lean 3

lean4

Lean4 work in progress repo

lean4-mathlib-import

lean_proof_recording

Proof recording for Lean 3

leanprover.github.io

www

library_dev

Lean standard library (development)

library_dev_extras

mathlib

Lean mathematical components library

mathlib3port

Stub for downloading mathport artifacts for mathlib3

mathlib4

Work in progress mathlib port for lean 4

mathport

Mathport is a tool for porting Lean3 projects to Lean4

mathzoo

Lean mathzoo

mingpt

A minimal PyTorch re-implementation of the OpenAI GPT (Generative Pretrained Transformer) training

minisat

A minimalistic and high-performance SAT solver