leanpkg.toml

[package]
name = "alive_in_lean"
version = "0.1"
lean_version = "3.4.2"

[dependencies]
smt2_interface = {git = "https://github.com/leanprover/smt2_interface.git", rev = "7ff0ce248b68ea4db2a2d4966a97b5786da05ed7"}
mathlib = {git = "https://github.com/leanprover/mathlib.git", rev = "019b2364cadb1dd8b30c9f13c602d61c19d3b6ea"}