Attention: Maintenance on monday 19.04.2021 from 07:00 - 13:00 (Gitlab and Mattermost are offline!)

Commit 7566c421 authored by Michael Kohlhase's avatar Michael Kohlhase

first test for the Math Grammar

parent 859c860f
i MathEng.gf
p -cat=NP "a positive integer"
p -cat=NP "We call a positive integer a prime integer"
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment