chore: Automated creation of user trusted-systemlab.

This commit is contained in:
MIT License Bot 2020-03-10 01:06:56 +00:00
parent 75e460cde3
commit e66ce87b3d

View file

@ -0,0 +1,8 @@
{
"copyright": "Trusted System Lab ",
"url": "https://formal-analysis.com/research/npat/",
"format": "html",
"license": "mit",
"theme": "default",
"gravatar": false
}