search

theoremprover-museum / theoremprover-museum.github.io

https://theoremprover-museum.github.io
GNU General Public License v3.0
52 stars 6 forks source link

ALF #9

Open anderssch opened 7 years ago

anderssch commented 7 years ago

You could add this prover if it is not developed any more. https://en.wikipedia.org/wiki/ALF_(proof_assistant)

kohlhase commented 7 years ago

I have contacted Bengt Nordström, is that the right person to ask? Should I ask someone else?

anderssch commented 7 years ago

I'm not sure. There is also the successor called Alfa: http://www.cse.chalmers.se/~hallgren/Alfa/ I managed to find some source code and binaries for that project here: https://web.archive.org/web/20070207073935/http://marcin.org:80/Alfa/

mietek commented 4 years ago

Hallgren has updated his Alfa page with additional materials.

Update 2017-08-26: some updates to make the code compile with the current version of GHC have been made. A source snapshot (a Cabal package) and a binary installer package for macOS are available.

bitmappergit commented 3 years ago

http://www.cs.chalmers.se/pub/provers You can find ALF on here using archive.org https://web.archive.org/web/19970306001059/http://www.cs.chalmers.se/pub/provers/