{"ref":"wip-lemmas-exhaustive","ref_type":"branch","master_branch":"master","description":"A prototype of superposition prover in OCaml, using a mix of imperative, OO and functional idioms","pusher_type":"user"}
{"actor":{"display_login":"c-cube"}}