Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Jul 30, 2025

• Update README.md

  fraware

  authored
  88791c0

  Copy full SHA for 88791c0

• Delete .github/assets/FormalVerifML.png

  fraware

  authored
  a95b23d

  Copy full SHA for a95b23d

• Update README.md

  fraware

  authored
  3bc1698

  Copy full SHA for 3bc1698

• Add files via upload

  fraware

  authored
  723c71e

  Copy full SHA for 723c71e

• Delete .github/assets/txt.txt

  fraware

  authored
  d1416be

  Copy full SHA for d1416be

• Add files via upload

  fraware

  authored
  c039e75

  Copy full SHA for c039e75

• Create txt.txt

  fraware

  authored
  6ea85f8

  Copy full SHA for 6ea85f8

• Update README.md

  fraware

  authored
  04e3dbc

  Copy full SHA for 04e3dbc

Commits on Jul 21, 2025

• feat: implement comprehensive enterprise features

  fraware

  authored
  85e7d9c

  Copy full SHA for 85e7d9c

Commits on Jul 10, 2025

• Update user_guide.md

  fraware

  authored
  e86f1fa

  Copy full SHA for e86f1fa

• Update developer_guide.md

  fraware

  authored
  97643f4

  Copy full SHA for 97643f4

• Update README.md

  fraware

  authored
  dc1b704

  Copy full SHA for dc1b704

• Delete docs/improvement_roadmap.md

  fraware

  authored
  1b26efc

  Copy full SHA for 1b26efc

• Update README.md

  fraware

  authored
  0cb4f12

  Copy full SHA for 0cb4f12

• feat: implement comprehensive enterprise features and documentation improvements

  fraware

  committed
  bae062c

  Copy full SHA for bae062c

Commits on Mar 5, 2025

• Create LICENSE

  fraware

  authored
  201bef3

  Copy full SHA for 201bef3

• Initial commit: Added Lean code, translator, and web app

  fraware

  committed
  2826915

  Copy full SHA for 2826915