/distributed-assertions.github.io

Main website

A site for DAMF.

All the sources are stored in the docs/ subdirectory of this branch.

  • docs/index.md: main site
  • docs/dispatch.md: file for Dispatch
  • docs/abella.md: file for Abella
  • docs/lprolog.md: file for λProlog