Spaces:

Kai9987kai
/

CROSSWIRE

Running

App Files Files Community

CROSSWIRE / tools

60.2 kB

Ctrl+K

Ctrl+K

1 contributor

History: 2 commits

Kai9987kai's picture

Release crosswire-formal-synthesis-2026-11-03 from GitHub 91e7ac87c4e4

61a7188 verified 4 days ago

check_distribution.py

8.04 kB
Publish checked budgeted experiments from GitHub 3354331226d1 5 days ago
check_latex.py

3.59 kB
Release crosswire-formal-synthesis-2026-11-03 from GitHub 91e7ac87c4e4 4 days ago
check_workbench.cjs

33.7 kB
Publish checked budgeted experiments from GitHub 3354331226d1 5 days ago
report.py

14.9 kB
Publish checked budgeted experiments from GitHub 3354331226d1 5 days ago