|
|
| Paket |
Quelle |
Archiv |
Kurzbeschreibung |
Version |
| minlog |
Debian |
unstable |
Proof assistant based on first order natural deduction calculus |
4.0.99.20100221-5.1 |
| minlog |
Debian |
testing |
Proof assistant based on first order natural deduction calculus |
4.0.99.20100221-5 |
| minlog |
Debian |
stable |
Proof assistant based on first order natural deduction calculus |
4.0.99.20080304-4 |
|
|
|
