diff --git a/README.md b/README.md
index 6d7f580..94af369 100644
--- 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`._
\ No newline at end of file
+_Figure 3: Creating a DFA using a `DFABuilder`._