sorted by: recent | see :
popular
Content Tagged with logic + mathematics
Proof General
>Proof General is a generic front-end for proof assistants (also known as interactive theorem provers), based on the customizable text editor Emacs.
ProofGeneral - Free Software Directory - Free Software Foundation
>ProofGeneral is a powerful frontend for proof assistants based on Emacs.
E - Free Software Directory - Free Software Foundation
>E is an equational theorem prover. You give it a mathematical specification (in clausal logic with equality) and a hypothesis; it will then try to find a proof for the hypothesis.
A Neighborhood of Infinity: Data and Codata
"Is there some language that... can give us unbounded looping when we need it, but which never allows us to hoist ourselves by our petards by writing runaway loops?"
bookmark this on del.icio.usOld functional programming ideas (reddit.com)
They want to used systems that can be proved to be correct. The article mentioned Proof Carrying Code, imagine being able to prove that the code downloaded isn't a virus and won't do anything untoward with your system. Will this browser crash? Will my avi
Haskell: del.icio.us tag/haskell
Programming
logic
languages
concepts
History
research
mathematics
functional
haskell
academic