Giters

alwentiu / abella

Various formal proofs done in Abella theorem prover

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

Various formal proofs done in Abella theorem prover

Languages

Language:AMPL 55.9%Language:Standard ML 44.1%