Update README.md

Zakrok09 · Apr 22, 2024 · daea95e · daea95e
1 parent b499a0e
commit daea95e
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/README.md b/README.md
@@ -18,6 +18,8 @@ A TypeScript/JavaScript library for managing automata.
 npm i ts-automata
 ```
 
+> Check out dnbln's Agda package for Automata proofs: [https://dnbln.dev/agdomaton ](https://dnbln.dev/agdomaton)
+
 ## Overview
 
 Currently supported are the Deterministic and Non-deterministic finite state automata. 
@@ -75,4 +77,4 @@ const dfa = new DFABuilder("ab")
     .withEdges.from("q2").toSelf().over("ab")
     .getResult()
 ```
-_Figure 3: Creating a DFA using a `DFABuilder`._
+_Figure 3: Creating a DFA using a `DFABuilder`._