← Feed @xy@mastodon.mit.edu Post #3620642 2026-07-06 04:52 UTC I wrote a city-building and transport simulation game using the #Lean proof assistant! https://git.unnamed.website/monotonicity/ Replies (0) No replies.