adbrucker
/
isabelle-hacks
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Added brief description of Nano JSON.

This commit is contained in:
Achim D. Brucker 2019-01-21 16:31:00 +00:00
parent 229d3145a5
commit ac1cc224b3
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
README.md
View File

@ -22,6 +22,9 @@ older versions might be available on a dedicated branch.
which (sometimes) helps to focus on the important parts of complex
type declarations.
* [Nano_JSON.thy](Nano_JSON.thy) provides support for a JSON-like
data exchange for Isabelle/HOL.
## Authors
Main author: [Achim D. Brucker](http://www.brucker.ch/)