Giters

ixmatus / TLA-Constitution

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

TLA-Constitution

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

About

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

License:GNU General Public License v3.0