monotonicity

A city-building and transport simulation game written in Lean

Commits at 8db5657e1fb1ec585cb872491d683b36feb153de

  1. 8db5657e Update Raylean which now has my typo fix Anthony Wang authored at Anthony Wang comitted at
  2. 02600752 Fix Nix build Anthony Wang authored at Anthony Wang comitted at
  3. f253362f It's 3D! Anthony Wang authored at Anthony Wang comitted at
  4. dc740075 Building instructions, set FLAG_WINDOW_HIGHDPI for scaling on Wayland Anthony Wang authored at Anthony Wang comitted at
  5. d8afabed Initial commit Anthony Wang authored at Anthony Wang comitted at