DCS-Mirror
/
Andley_OGNTa
mirror of https://git.door43.org/Andley/OGNTa
2
0
Fork 0
Files Issues Releases Wiki Activity See in Reader
Andley_OGNTa/tmp
History
Andley Chang de7e206df6 minor correcctions 2023-08-07 09:16:58 +08:00
..
OGNTa-Ruby+CUV.nt minor correcctions 2023-08-07 09:16:58 +08:00
OGNTa-Ruby.nt minor correcctions 2023-08-07 09:16:58 +08:00
OGNTa-TC-Ruby.nt minor correcctions 2023-08-07 09:16:58 +08:00
OGNTa-TC-marked.txt minor correcctions 2023-08-07 09:16:58 +08:00
OGNTa-TC.nt fix some lemmas 2022-06-29 17:00:59 +08:00
OGNTa-WordEQ.nt minor correcctions 2023-08-07 09:16:58 +08:00
OGNTa-marked.txt minor correcctions 2023-08-07 09:16:58 +08:00