Links from index.sv.html

Experimental

Here is automatically generated list of links from index.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.)

  1. In English
  2. ALF
  3. Cayenne
  4. Lennart Augustsson
  5. Programmeringslogikgruppen vid Chalmers
  6. Thierry Coquand
  7. Catarina Coquand
  8. Agda
  9. Makoto Takeyama
  10. Aarne Ranta
  11. GF
  12. Thomas Hallgren
  13. Haskell
  14. ladda ner Alfa
  15. Features of Alfa
  16. Alfa User's Guide
  17. Command line syntax and options
  18. Top 10 ways to fill in a place holder
  19. Overview of the menus
  20. Overview of the keyboard
  21. Printing Alfa documents
  22. Using Alfa plug-in modules
  23. Editing by using the keyboard only
  24. Constructing proofs in Natural Deduction style
  25. Using the GF plug-in to produce natural language translations of proofs
  26. Alfa Library/Example Modules
  27. History of changes
  28. Known Bugs
  29. Agda
  30. GF
  31. Bevisassistenter
  32. dmoz open directory
  33. Källkod
  34. installationspaket för macOS
  35. uppdaterade källkodpaket för Fudgets och Alfa är nu tillgängliga
  36. Länkar