Coq library on rewriting theory and termination
updated at March 20, 2024, 7:03 p.m.
3 +0
32 +0
21 +0