name = "monstrous_moonshine"
version = "0.1.0"
defaultTargets = ["FinalCheck"]

[leanOptions]
autoImplicit = false
maxHeartbeats = 4000000

[[require]]
name = "mathlib"
git = "https://github.com/leanprover-community/mathlib4.git"
rev = "db584cd6d46c92f209a44c0f1c829460d327499d"

[[lean_lib]]
name = "Definitions"

[[lean_lib]]
name = "Theorems"

[[lean_lib]]
name = "FinalCheck"
