Discussion
Loading...

Post

Log in
  • About
  • Code of conduct
  • Privacy
  • Users
  • Instances
  • About Bonfire
Leonardo Pacheco
@leonardopacheco@mathstodon.xyz  ·  activity timestamp 3 months ago

Sharing a Wordle-like game where you have to guess a Kripke model: https://www.cannorin.net/kripke
Made by a friend doing his PhD in Kobe University and doing very cool things on provability logics.

#logic#wordle

  • Copy link
  • Flag this post
  • Block
Log in

bonfire.cafe

A space for Bonfire maintainers and contributors to communicate

bonfire.cafe: About · Code of conduct · Privacy · Users · Instances
Bonfire social · 1.0.0-rc.2.6 no JS en
Automatic federation enabled
  • Explore
  • About
  • Members
  • Code of Conduct