Rename DOCS/LEAN/J19-FORMALIZATION.PY to DOCS/LEAN/J19-LEAN.PY 5159e6a verified Quantarion9 commited on 20 days ago
Rename DOCS/MARKDOWNS/TOOL-CHAIN/VERIFIACTION-PROTOCOL.MD to DOCS/MARKDOWNS/TOOL-CHAIN/VALIDATION-PROTOCOL.MD 4055f89 verified Quantarion9 commited on 20 days ago
Create MARKDOWNS/TOOL-CHAIN/VERIFIACTION-PROTOCOL.MD 2f7d9db verified Quantarion9 commited on 20 days ago
Rename DOCS/LAYTEX/AQARION-ABSTRACT1.T3X to DOCS/LAYTEX/AQARION-ABSTRACT1.TEX 09ece37 verified Quantarion9 commited on 21 days ago
Rename DOCS/APIV&V_API.PY to DOCS/API_V&V_API.PY 9eeb672 verified Quantarion9 commited on 21 days ago