metis icon indicating copy to clipboard operation
metis copied to clipboard

Published 20 hours ago • verified publisher icon gilith
→

Metadata

An automatic theorem prover for first order logic with equality

← Metadata

28
Stars
1
Forks
Watchers

Owner

verified publisher icon gilith

Metadata

An automatic theorem prover for first order logic with equality

Back