/TLA-Constitution

A formal TLA+ specification and model of the United States Constitution.

GNU General Public License v3.0GPL-3.0

TLA-Constitution

A formal TLA+ specification and model of the United States Constitution.