Search posts, tags, users, and pages
Arxo
Executable law — norms you can run, test and prove. Calculemus!
Two independent formalizations of the same regulation, written in two different languages, agreed on every one of 65 reference cases and 240 randomly generated ones. That result is the starting point
Markdown supported · ⌘↵ to post
No responses yet.