| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | CoqNotations.ttf | 37988 | logplain |
| -rw-r--r-- | Makefile | 1154 | logplain |
| -rw-r--r-- | TacticNotations.g | 2008 | logplain |
| -rw-r--r-- | TacticNotations.tokens | 108 | logplain |
| -rw-r--r-- | TacticNotationsLexer.py | 3961 | logplain |
| -rw-r--r-- | TacticNotationsLexer.tokens | 108 | logplain |
| -rw-r--r-- | TacticNotationsParser.py | 33808 | logplain |
| -rw-r--r-- | TacticNotationsVisitor.py | 3100 | logplain |
| -rw-r--r-- | UbuntuMono-B.ttf | 191400 | logplain |
| -rw-r--r-- | __init__.py | 0 | logplain |
| -rwxr-xr-x | fontsupport.py | 3069 | logplain |
| -rw-r--r-- | html.py | 3281 | logplain |
| -rw-r--r-- | parsing.py | 2248 | logplain |
| -rw-r--r-- | plain.py | 2635 | logplain |
| -rw-r--r-- | regexp.py | 2514 | logplain |
| -rw-r--r-- | sphinx.py | 5858 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |