Experimental
Here is automatically generated list of links fromindex.html
The smiley indicates whether the link works or not. (Mail and ftp link tests don't work properly. The http link test fails in some cases although the link works.)
- På svenska
- ALF
- Cayenne
- Lennart Augustsson
- The Programming Logic Group at Chalmers
- Thierry Coquand
- Catarina Coquand
- Agda
- Makoto Takeyama
- Aarne Ranta
- GF
- Thomas Hallgren
- Haskell
- download Alfa
- Features of Alfa
- Alfa User's Guide
- Command line syntax and options
- Top 10 ways to fill in a place holder
- Overview of the menus
- Overview of the keyboard
- Printing Alfa documents
- Using Alfa plug-in modules
- Editing by using the keyboard only
- Constructing proofs in Natural Deduction style
- Using the GF plug-in to produce natural language translations of proofs
- Alfa Library/Example Modules
- History of changes
- Known Bugs
- Agda
- GF
- Proof Assistants
- dmoz open directory
- source snapshot
- installer package for macOS
- updated source packages for Fudgets and Alfa are now available
- Links