Merge pull request #11 from shigoel/readme_update

Add reference to license and contributing guidelines in the README
leanprover · Feb 14, 2024 · d3d2940 · d3d2940
2 parents 4b0b38a + f928351
commit d3d2940
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -3,6 +3,10 @@
 
 LNSym is a symbolic simulator for Armv8 machine-code programs.
 
+Please see the [LICENSE](./LICENSE) file for LNSym's licensing and
+[CONTRIBUTING.md](./CONTRIBUTING.md) for external contribution
+guidelines.
+
 ## Prerequisites
 
 1. Install Z3, recommended version