]> git.pld-linux.org Git - packages/alt-ergo.git/blob - alt-ergo.desktop
projects / packages / alt-ergo.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
blame | history | raw | HEAD
- up to 0.95.2
[packages/alt-ergo.git] / alt-ergo.desktop
1 [Desktop Entry]
2 Name=Alt-Ergo
3 GenericName=theorem prover
4 Comment=Automated theorem prover
5 Exec=altgr-ergo %F
6 Terminal=false
7 Type=Application
8 Categories=Development;Debugger;
Automated theorem prover including linear arithmetic
This page took 0.080241 seconds and 3 git commands to generate.