GitHub repository: solrun/IsaHipster
Primary language: HTML
Description: Theory Exploration for Isabelle using HipSpec