Skip to content
This repo is meant for collaborative writing of journal and conference papers about Ampersand.
TeX Isabelle
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
2017_AFP_AMBRR proofs
2017_JLAMP
2017_RAMiCS
2018_Transactions
.gitignore
README.md

README.md

Publications

This directory contains publications about Ampersand. It is intended as a repo in which member can do collaborative writing about Ampersand-related topics. Every publication gets a separate directory, containing only the source files (e.g. LaTeX, pictures, bibliographies).

You can’t perform that action at this time.