Initial commit

This commit is contained in:
2025-05-30 23:50:04 +00:00
commit 03857fe86a
3 changed files with 27 additions and 0 deletions

3
README.md Normal file
View File

@ -0,0 +1,3 @@
# hugo-template
The Hugo (gohugo.io) template for the Formal Methods Tools website.