IsaPlanner
In-game article clicks load inline without leaving the challenge.
IsaPlanner is a proof planner for the interactive proof assistant, Isabelle, originally developed by Lucas Dixon.
Fallback article view
In-game article clicks load inline without leaving the challenge.
IsaPlanner is a proof planner for the interactive proof assistant, Isabelle, originally developed by Lucas Dixon.