reto-weber

Pinned Repositories

• Lyra-theorem-prover

  The is the official implementation of "Lyra: Orchestrating Dual Correction in Automated Theorem Proving"

  Language:Python110

reto-weber's Repositories