Mava/Inductive_Calculus
1
0
Fork 0
Code Issues Pull Requests Actions Projects Releases Wiki Activity
main
Inductive_Calculus/test/dune

3 lines
24 B
Plaintext
Raw Permalink Blame History

(test
(name test_PTS))
Reference in New Issue View Git Blame Copy Permalink