Post #1135067
2026-04-13 13:55 UTC
Wrote a post on Kripke and Beth semantics in lean 4, and added some features to my blog so that you can see the proof state on hover: https://boarders.github.io/posts/beth.html
Replies (1)
-
@dhess@mastodon.drewhess.social 2026-04-13 20:48
@boarders@mathstodon.xyz In 5 years, which do you see yourself using more, Lean 4 or Agda? Asking for a friend.