theorem-prover ... sat-solver top ...

Global rank

# 500,889

Topics of expertise

theorem...
sat-sol...

Github followers

13

Github username

aniemetz

Location

None

About

Aina Niemetz's main area of expertise is theorem-prover , and is also an expert on sat-solver . Aina Niemetz is recognized as Theorem-prover Top-100 and Sat-solver Top-100 . A Github user since 2017 , Aina Niemetz is ranked as #500,889 globally .

We use cookies. If you continue to browse the site, you agree to the use of cookies. For more information on our use of cookies please see our Privacy Policy.