ixmatus/TLA-Constitution
A formal TLA+ specification and model of the United States Constitution.
Stars: 0
Give AlbumentationsX a star on GitHub — it powers this leaderboard
Star on GitHubA formal TLA+ specification and model of the United States Constitution.