Skip to content

stanmaciag/TemporalProver

About

A deductive-based system using the semantic tableaux method

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published