Fixing big issues w/ Al1 (first pull request) (#383)

This commit is contained in:
Louis Gesbert 2023-01-13 11:19:35 +01:00 committed by GitHub
commit ddb4ad547f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -20,4 +20,4 @@ is very important and kind of the core of the formalization.
* Formalizing helps you think way more about a statute than
you thought you knew about it. Parallel with formalization
of traditional software.
of traditional software.