ekpyron / AOT

Embedding of The Theory of Abstract Objects in Isabelle/HOL

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

ekpyron/AOT Issues

No issues in this repository yet.