SASyLF: an educational proof assistant for language theory.
Jonathan AldrichRobert J. SimmonsKey ShinPublished in: FDPE@ICFP (2008)
Keyphrases
- proof theory
- language learning
- test bed
- formal theory
- programming language
- learning technologies
- natural language
- theoretical framework
- educational technology
- educational institutions
- theorem prover
- theorem proving
- e learning
- language processing
- specification language
- speech acts
- educational resources
- educational games
- general theory
- learning resources
- proof theoretic
- script language