summaryrefslogtreecommitdiff
path: root/docs/theory.rst
blob: 2d2a949d53f07207a37cd55b20ca925c6d966db8 (plain) 
1
2
3
4
5
6
7
8
9

Theory References
=================

.. toctree::
   :maxdepth: 1

   theories/datatypes
   theories/separation-logic
   theories/sets-and-relations
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback