Home FOMO: using the First-Order translation of Modal Logic as a Lean tactic
Post
Cancel

FOMO: using the First-Order translation of Modal Logic as a Lean tactic

18. December 2026, 15:00 in LAB42 L3.33
By Malvin Gattinger (ILLC)
1 min read

Joint work with Andrés Goens, Marcus Rossel, Haitian Wang.

Talks
This post is licensed under CC BY 4.0 by the author.