Contributor
@ammkrn
repos
6
ecosystems
2
languages
commits
22
Work in progress mathlib port for lean 4
A pretty printer for Lean 4
Lean 4 programming language and theorem prover
logic programming in Rust
Lean 4 build system and package manager with configuration files written in Lean.
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
Subscriber view
Already a subscriber? Sign in with the same email used at checkout.
