A formal TLA+ specification and model of the United States Constitution.
ixmatus/TLA-Constitution
A formal TLA+ specification and model of the United States Constitution.
GPL-3.0
A formal TLA+ specification and model of the United States Constitution.
GPL-3.0