Automating Coherent Logic

Automating Coherent Logic (ACL) is a NFR funded research project initiated by the University of Bergen and the University of Oslo in September 2007. The project aims at building a so-called theorem prover, a computer program which supports the development of formal proofs. Applications range from mathematics to the so-called semantic web, where one reasons about Internet content.