Skip to content

Blog post on json-data-encoding

7A1T requested to merge json-data-encoding-blog-post into master

I am unsure whether to include a note on using the Axiom in list_map to transfer the properties of length 12 as I think it can be proven but I don't have a proof as of yet.

https://gitlab.com/formal-land/json-data-encoding

Edited by 7A1T

Merge request reports