Skip to content

Logically atomic triples: Notation, tactics, small example

Ralf Jung requested to merge ci/ralf/atomic into master

This implements a proper infrastructure for logically atomic triples.

TODO:

Edited by Ralf Jung

Merge request reports