MeanMachineRex

@rexrowan

United Kingdom rexrowan.github.io/QPortfolio/ On GitHub since April 2013

Published Tools

Total Stars

Weekly Downloads

GitHub Followers

220

Public Repos

Published Tools

1 Skillacross 1 category

Rex Rowan

Formal and statistical equivalence checking for Qiskit transpiler output on the Clifford fragment, with optional Lean 4 certificate generation.

...more

Skillai-ml

1 dir