The Nest
Explore
Sign in
ammkrn
printiest
leanpkg.toml
0
Code
Changes
Tags
Discussions
CI
main
[package] name = "Printiest" version = "0.1" lean_version = "leanprover/lean4:nightly-2021-04-26"