FormalConjecturesUtil/Answer/Syntax.lean
0 declarations, 0 contain sorry, 0 declared as axioms
Syntax definitions used in Google.Answer.
We separate them to allow handling the syntax without the full implementation.
Imported by 2 files
No declarations listed.