Sponsored Links:
Perl Contains the Lambda-Calculus (Popularity: )
Explains why this computer program is well suited to apply to functional application.
|
|
Kolmogorov Complexity in Combinatory Logic (Popularity: )
Online article by John Tromp. Kolmogorov complexity is a recursion theoretic characterisation of randomness.
|
|
Dual Identity Combinators (Popularity: )
Article by Katalin Bimbó presented at the 20th World Congress of Philosophy. Investigates the addition ...
|
|
Lambda (Popularity: )
An online introduction to the lambda calculus by Lloyd Allison, complete with a web form ...
|
|
Af2 Proof Assistant (Popularity: )
A type system based on second order intuitionistic logic.
|
|
Alfa (Popularity: )
A successor to the proof editor Alf with a graphical user interface, being developed at ...
|
|
The LEGO Proof Assistant (Popularity: )
A powerful tool for interactive proof development in the natural deduction style. It supports refinement ...
|
|
Automated Reasoning (Popularity: )
Survey of automated deduction and theorem proving; from the Stanford Encyclopedia of Philosophy by Frederic ...
|
|
Kumo (Popularity: )
A web-based proof assistant. It assists with proofs in first order hidden logic, using OBJ3 ...
|
|
Proof General (Popularity: )
Emacs based generic interface for theorem provers.
|
|
The HOL Theorem Proving System (Popularity: )
The system documented originated at the Laboratory for Applied Logic of Brigham Young University and ...
|
|
MetaPRL logical programming environment (Popularity: )
The next generation of the NuPrl proof development system. The main new features of MetaPRL ...
|
|
NuPrl Proof Development System (Popularity: )
A powerful tactic-based proof assistant, developed over the last 15 years at Cornell University. IFeatures ...
|
|
CtCoq (Popularity: )
a working environment for the Coq theorem prover (XWindow)
|
|
The Coq proof assistant (Popularity: )
Allows the user to handle calculus assertions, to check mechanically proofs of these assertions, helps ...
|
|
Isabelle (Popularity: )
Homepage of the theorem prover environment developed by Larry Paulson at Cambridge University and Tobias ...
|