the next generation of the in-browser educational proof assistant
Typo
authored by
Liam O'Connor
and committed by
GitHub
817004c1
00657eca
+1
-1
+1
-1
README.md
+1
-1
README.md
···
13
13
<script type="module">
14
14
Holbert.setup({
15
15
termLanguage: FirstOrderTerms, //also planned: HigherOrderTerms, Strings
16
-
components: [GrammarDefinition, FunctionDefinition] // examples of extra components provided by planned plugins
16
+
components: [GrammarDefinition, FunctionDefinition], // examples of extra components provided by planned plugins
17
17
methods: [CalculationalProof, HoareDerivation] // examples of extra proof methods provided by planned plugins.
18
18
})
19
19
</script>