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
-- Simutrans Float On By
https://www.youtube.com/watch?v=PFDXA7HaMuQ&list=PLzRXNerdR1xM1qAkIQANJeDmWgyJc6KBa&index=26
-- Simutrans Above the Sky
https://www.youtube.com/watch?v=fR4vQfkSYxg&list=PLzRXNerdR1xM1qAkIQANJeDmWgyJc6KBa&index=44
-- Simutrans Salty Breeze
https://www.youtube.com/watch?v=gjVUW82DTSo&list=PLzRXNerdR1xM1qAkIQANJeDmWgyJc6KBa&index=47
-- Simutrans Techno Movement
https://www.youtube.com/watch?v=74O3Lcg0fPk&list=PLzRXNerdR1xM1qAkIQANJeDmWgyJc6KBa&index=48
-- Simutrans Last Sunday
https://www.youtube.com/watch?v=OQro79efFPo&list=PLzRXNerdR1xM1qAkIQANJeDmWgyJc6KBa&index=49