Spaces:

SZLHOLDINGS
/

a11oy

Running

App Files Files Community

a11oy / packages /a11oy-knowledge

213 kB

Ctrl+K

Ctrl+K

3 contributors

History: 4 commits

betterwithage's picture

add capability_map (theorem->mechanism wiring) to a11oy proof_summary

efe4dbc verified 2 months ago

policies
sync(space): full source mirror — resolve all GitHub<->Space drift (CTO) 2 months ago
src
add capability_map (theorem->mechanism wiring) to a11oy proof_summary 2 months ago
test
sync(space): complete build context — fix BUILD_ERROR (CTO) 2 months ago
package-lock.json

42 kB
sync(space): full source mirror — resolve all GitHub<->Space drift (CTO) 2 months ago
package.json

794 Bytes
sync(space): full source mirror — resolve all GitHub<->Space drift (CTO) 2 months ago