laurakovacs

Pinned Repositories

• apre-group.github.io

  group website

  Language:HTML00

• exagen

  Automatic Exam Generator for Automated Deduction

  Language:TeX2300

• concur2020.github.io

  Website of CONCUR 2020

  Language:HTML0500

• vampire

  The Vampire Theorem Prover

  Language:C++2812314949

• vprover.github.io

  Language:HTML01845

laurakovacs's Repositories