Primec.h:Curry-Howard Style 1st Order Predicate

T. Ogawa 2012

25 May 2015BSD

20K

Curry-Howard style 1st order predicate logic library in C++. Templates support the policy based choices.

We're sorry, but the article you are trying to view was deleted at 10 Jan 2020.

Please go to the Threads Table of Contents to view the list of available articles in this section.

Go to top