[sgoto]

Ah, that's quite interesting! I'm going through a similar process of formalization, but starting from Wikipedia (but law did indeed cross my mind as a good candidate for formalization too).

I'm also starting from a set-theoretic-like starting point, but am using Discourse Representation Theory to express it in a higher level language that is a subset of english.

https://code.sgo.to/2021/01/06/brazil.html

Find on twitter in case you are interested in telling me more about formalizing the constitution?

https://twitter.com/samuelgoto

FWIW, metamath looks really awesome, will look more closely into it!

[mazsa]

Hi Sam, you are completely right: the next step after the Metamath definitions and theorems for the constitutions should be very similar to your [1]. Based on your answer I compiled a list of perhaps useful links for you: [2]. Would you be so kind as to send me an email from your personal email address? I have a catchall address: anything at my username dot com.

[1] https://code.sgo.to/2021/01/06/brazil.html

[2] https://docs.google.com/spreadsheets/d/1lSia3bKPfLL6RuYg78qW...