4 ms·
https://adsharma.github.io/agentic-transpilers/ https://adsharma.github.io/agentic-transpilers/ Long way to go. But there is a design. Use z3/SMT instead of T
by adsharma 2y ago
https://adsharma.github.io/agentic-transpilers/ https://adsharma.github.io/agentic-transpilers/
Long way to go. But there is a design.
Use z3/SMT instead of TLA+