Theoretical Computer Science

Revival

 Revival
Answer more than 30 days after a question was asked as first answer scoring 2 or more. This badge can be awarded multiple times.

earned this badge 2 times.
Is there any second-order logic finite satisfiability checker?
Awarded Feb 25, 2021 at 20:31
Automatic theorem prover for first-order logic versus model checker
Awarded May 29, 2020 at 23:10

Others with this badge

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.