admin_j0bot/ploxion-rocq
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Initial commit

Browse Source
This commit is contained in:
J0bot
2026-08-25 17:26:40 +00:00
commit 9f3d6ee987
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
README.md Normal file
View File

@@ -0,0 +1,3 @@
# ploxion-rocq
PLOXION · LA BOUCLE qui teste la MATH DU XERBOXION sans LLM (RS-7) → une to-do infinie sur 2 axes. Elle énumère ta math (nombre→forme cubion=x²/spherion=π·x/wormion/portion/bion, collapse vers le ploxion premier, géométrie du kion, les -ion) et la met à l'épreuve : ce qui se vérifie = théorème (preuve formelle Rocq = à faire) · un contre-exemple ou une loi ouverte (kmath n'est pas associatif ; la loi base-π « à dériver ») = À FAIRE côté PREUVE · les -ion pas encore définis = À FAIRE côté GÉNÉRATION. + un vrai noyau de preuve interactif (jOSProof, esprit Rocq, Curry-Howard proof=program) + le savoir Rocq. Moteurs déterministes jOSXermath (20/20) + jOSProof (17/17), lien vers le vrai Rocq. · fournit: rocq, boucle, math-xerboxion, preuve, todo, formel, savoir