| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | 03-May-2022 | - | ||||
| Makefile | H A D | 03-May-2022 | 342 | 18 | 7 | |
| theory_uf.cpp | H A D | 31-Aug-2010 | 34.3 KiB | 1,142 | 902 | |
| uf_proof_rules.h | H A D | 09-Aug-2006 | 1.4 KiB | 54 | 15 | |
| uf_theorem_producer.cpp | H A D | 09-Aug-2006 | 4.5 KiB | 180 | 110 | |
| uf_theorem_producer.h | H A D | 09-Aug-2006 | 1.3 KiB | 51 | 19 |