2 Commits

Author SHA1 Message Date
Balazs Komuves
1c120d3e0d
refactor the circuit (separate codex-specific and more generic templates) 2024-03-12 11:48:13 +01:00
Balazs Komuves
8b6e8a1402
full proof workflow description and scripts 2023-12-15 17:38:07 +01:00