Skip to content
This repository has been archived by the owner on Sep 18, 2020. It is now read-only.
/ swillprover Public archive

a linear logic prover based on Naoyuki Tamura's llprover that works under SWI Prolog

Notifications You must be signed in to change notification settings

wenkokke/swillprover

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

4 Commits
 
 
 
 

Repository files navigation

A Linear Logic Prover (swillprover)

A Linear Logic Prover based on Naoyuki Tamura's llprover that works under SWI Prolog.

See the documentation of llprover.

About

a linear logic prover based on Naoyuki Tamura's llprover that works under SWI Prolog

Topics

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages