Skip to content

Explain our language axioms better

Ralf Jung requested to merge ralf/lang-axioms into master

Fixes #271 (closed)

Edited by Robbert Krebbers

Merge request reports