[package]
name = "Printiest"
version = "0.1"
lean_version = "leanprover/lean4:nightly-2021-04-26"