forward-backward reasoning for mathematical verification
Primary LanguageJavaScriptApache License 2.0Apache-2.0