266dd348 - monotonicity

Authored by: Anthony Wang
Authored at: 2026-06-28 00:48:27 -0400
Committed by: Anthony Wang
Committed at: 2026-06-28 00:48:30 -0400
Signature: View
-----BEGIN SSH SIGNATURE----- U1NIU0lHAAAAAQAAADMAAAALc3NoLWVkMjU1MTkAAAAg8Ms9qQOcB6WoVNS51AHxfRPvJz /x6RXeMaql4lvTraUAAAADZ2l0AAAAAAAAAAZzaGE1MTIAAABTAAAAC3NzaC1lZDI1NTE5 AAAAQBhQDRXpZdB9FAeKr/xsdM4nYuNzjRlM/SiwgKIlTDGwpYN67MDu2jWUJmUpzKAZt2 d6+67nJAoS2nAf1xasnAM= -----END SSH SIGNATURE-----
Object name: 266dd3480b0d4b926fcf322a231491e3eb69d42f
Parent: f68790b4

Typo

Changes

1 changed files (+1/-1)

README.md
- @@ -1,6 +1,6 @@
  # MonotoniCity - A city building and transport simulation game written in Lean + A city-building and transport simulation game written in Lean ## Building