mikimowski/interactive_isabelle

The Portal to Isabelle (PISA) project with additional premise selection functionality

This repository is not active