Experimental
Here is automatically generated list of links fromindex.sv.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.)
- In English
- ALF
- Cayenne
- Lennart Augustsson
- Programmeringslogikgruppen vid Chalmers
- Thierry Coquand
- Catarina Coquand
- Agda
- Makoto Takeyama
- Aarne Ranta
- GF
- Thomas Hallgren
- Haskell
- ladda ner 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
- Bevisassistenter
- dmoz open directory
- Källkod
- installationspaket för macOS
- uppdaterade källkodpaket för Fudgets och Alfa är nu tillgängliga
- Länkar