__ __ | \/ | __ _ _ __ ___ ___ ___ | |\/| |/ _` | '__/ __/ _ \/ __| | | | | (_| | | | (_| (_) \__ \ |_| |_|\__,_|_| \___\___/|___/
Name: isabelle Title: Unidentified Tome Kind: Dissertation Status: Pending Created: 2026-10-01 (32d ago) Built With: Isabelle, Scala Highlights: - An Isabelle linter that checks its suggestions with the prover Note: Final-year dissertation. Still being identified. Links: Source: https://github.com/MarcosAsh/isabelle_linter Logs: latest commits (l) Events: <none>