Giters

Twigonometry / IsabellePractice

Repository for practicing Isabelle with proofs from the examples

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

IsabellePractice

Repository for practicing Isabelle with proofs from the examples

Exercises

Simple Exercises for learning Isabelle

Modelling

Small programs to model in Isabelle

About

Repository for practicing Isabelle with proofs from the examples

Languages

Language:Isabelle 38.1%Language:Haskell 35.0%Language:Python 26.9%