Spaces:

SZLHOLDINGS
/

a11oy

Running

App Files Files Community

a11oy / packages /a11oy-knowledge /src

154 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

derivations.ts

6.87 kB
sync(space): complete build context — fix BUILD_ERROR (CTO) 2 months ago
index.ts

1.31 kB
sync(space): complete build context — fix BUILD_ERROR (CTO) 2 months ago
knowledge.json

115 kB
add capability_map (theorem->mechanism wiring) to a11oy proof_summary 2 months ago
proposed_axioms.ts

5.1 kB
sync(space): complete build context — fix BUILD_ERROR (CTO) 2 months ago
schema.ts

2.51 kB
sync(space): complete build context — fix BUILD_ERROR (CTO) 2 months ago
theorems.ts

6.86 kB
sync(space): complete build context — fix BUILD_ERROR (CTO) 2 months ago
theorems_lookup.test.ts

748 Bytes
sync(space): complete build context — fix BUILD_ERROR (CTO) 2 months ago
unified_extension.ts

7.51 kB
sync(space): complete build context — fix BUILD_ERROR (CTO) 2 months ago
vertical-router.ts

7.75 kB
sync(space): complete build context — fix BUILD_ERROR (CTO) 2 months ago