antogon / ProjectProof

A program in Java to create proof tables from formal specifications.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

A program in Java to create proof tables from formal specifications.


Languages

Language:Java 100.0%