Beast code in Giters

Daniel Selsam's repositories

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

Language:PythonApache-2.01300

Reference type checker for the Lean theorem prover

Language:HaskellGPL-3.013 30

A simple demonstration of the "Terpret" problem, in which gradient descent fails.

Language:Python500

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

Language:LeanGPL-3.03 30

Language:Lean100

Language:Lean000

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

Language:PythonGPL-3.0000

www

Language:JavaScriptMIT000

Lean standard library (development)

Language:Lean000

Language:Lean000

Computation using data flow graphs for scalable machine learning

Language:C++Apache-2.0020

Language:YaccGPL-3.0000

Formal verification of an unrealistic compiler

Language:Lean020

Language:Lean020