FCube: An Efficient Prover Intuitionistic Propositional Logic

2021-12-20, updated 2021-12-20 next - previous

Ferrari, Fiorentini and Fiorino made FCube i.e. \(F^{3}\).

1. FCube Prover Online

2. References

[1]
Ferrari, M. et al.: FCube: An Efficient Prover for Intuitionistic Propositional Logic. In: Logic for programming, artificial intelligence, and reasoning (Editors: C. G. Fermüller and A. Voronkov). Berlin, Heidelberg: Springer Berlin Heidelberg, 2010, p. 294–301.
 

Made with Emacs 29.0.50 (Org mode 9.5) and with org-export-head, a blog exporter.

The css file of this blog is mainly the result of Zhitao Gong's work.

orgmode emacs isso debian mxlinux