HigherOrderCO/Kind
1
1
Fork 0
mirror of https://github.com/HigherOrderCO/Kind.git synced 2024-11-20 19:55:41 +03:00
Code Issues Packages Projects Releases Wiki Activity

Update README.md

Browse Source
This commit is contained in:
Victor Taelin 2024-09-29 21:08:58 -03:00 committed by GitHub
parent 14af40cca3
commit dccd0742e0
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
README.md
View File

@ -2,7 +2,7 @@
Kind is a minimal Proof Checker.
Example files on [https://github.com/HigherOrderCO/MonoBook](HigherOrderCO/MonoBook).
Example files on [HigherOrderCO/MonoBook]([HigherOrderCO/MonoBook](https://github.com/HigherOrderCO/MonoBook)).
# Usage