1 parent 8823e05 commit 60b75d9Copy full SHA for 60b75d9
1 file changed
README.md
@@ -12,7 +12,7 @@ choice.
12
A secondary purpose is to establish precisely which ingredients Mathlib v4.28.0
13
supports and which it does not.
14
15
-Drafted with LLM assistance; I audited the statements against Mathlib v4.28.0
+I audited the statements against Mathlib v4.28.0
16
source and the citations against the primary literature. AUDIT.md records the Mathlib
17
survey, the errors corrected, and the claims that remain unverified.
18
0 commit comments