Bogdan Ursu

Linea Team—Prover

Joined on Sep, 2016•2 repositories

Pull Requests

Code Reviews

Repository

Stars

Forks

Issues (open)

Contributors

-1

-1

pushed to prover/fix-compiler-tests in Consensys/linea-monorepo

Jul 1, 2025, 1:33 PM

reviewed a pull request in Consensys/linea-monorepo

Jul 1, 2025, 9:02 AM

pushed to prover/dev-small-field in Consensys/linea-monorepo

Jun 27, 2025, 1:36 AM

closed a pull request in Consensys/linea-monorepo

Jun 23, 2025, 12:44 PM

deleted branch prover/feat-small-field-symbolic-refactored-branch-2 at Consensys/linea-monorepo

Jun 23, 2025, 12:44 PM

created a branch prover/dev-small-field in Consensys/linea-monorepo

Jun 23, 2025, 12:44 PM