dolmen
PublicDolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
Creat:2016-02-07T05:54:32
Update:2025-03-20T23:48:25
88
Stars
0
Stars Increase
Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction