Aditya Gupta 9bdc3ca04b feat(gui): Improve token statistics and usage breakdown

2026-07-11 08:39:22 +05:30

..

src

feat(gui): Improve token statistics and usage breakdown

2026-07-11 08:39:22 +05:30

next-env.d.ts

refactor(llm): Unify auto-bootstrapped prover instances and custom instances

2026-07-10 22:27:24 +05:30

next.config.ts

MAJOR: Added a GUI app for simulations

2026-07-09 18:14:26 +05:30

package.json

feat(gui): Switch to tailwind

2026-07-10 15:53:51 +05:30

postcss.config.mjs

feat(gui): Switch to tailwind

2026-07-10 15:53:51 +05:30

tailwind.config.ts

feat(gui): Switch to tailwind

2026-07-10 15:53:51 +05:30

tsconfig.json

MAJOR: Added a GUI app for simulations

2026-07-09 18:14:26 +05:30