A hyperintensional theorem prover for rapidly prototyping modular semantic theories
@benbrastmckie/modelchecker
Conduct general research using web search, documentation, and codebase exploration. Invoke for non-Lean research tasks.
