]>
2009-06-25 | Enrico Tassi | ... | tree | commitdiff |
2009-06-25 | Enrico Tassi | better doc | tree | commitdiff |
2009-06-25 | Enrico Tassi | timeouts are passed as arguments, so that tptpprover can | tree | commitdiff |
2009-06-25 | Enrico Tassi | the prover is almost OK, types in fuctors a bit extended to | tree | commitdiff |
2009-06-25 | Enrico Tassi | ... | tree | commitdiff |
2009-06-25 | Enrico Tassi | matitaprover is almost there | tree | commitdiff |
2009-06-25 | Enrico Tassi | ... | tree | commitdiff |
2009-06-25 | Enrico Tassi | initial import of standalone matitaprover binary | tree | commitdiff |