monotonicity

A city-building and transport simulation game written in Lean

  1. 1
  2. 2
  3. 3
  4. 4
  5. 5
  6. 6
  7. 7
  8. 8
  9. 9
  10. 10
  11. 11
  12. 12
name = "LeanTTD"
version = "0.1.0"
defaultTargets = ["leanttd"]

[[lean_exe]]
name = "leanttd"
root = "Main"
moreLinkArgs = ["-lraylib"]

[[require]]
name = "raylean"
scope = "funexists"