clean up

README.md

@@ -2,9 +2,9 @@
 
 The Composable Virtual Machine (CVM) is language and execution runtime for cross-chain program execution and intents settlement in [MANTIS](https://docs.composable.finance/technology/mantis). The CVM is an orchestration language on top of standards for cross-chain communication, specifically over IBC.
 
-## [Specification](https://docs.composable.finance/technology/cvm/specification)
+## [Specification](./docs/cvm/specification.md)
 
-## [Composable Account Abstraction](https://docs.composable.finance/technology/cvm/composable-account-abstraction)
+## [Composable Account Abstraction](./docs/cvm/account-abstraction.md)
 
 ## [Tutorial](https://docs.composable.finance/technology/cvm/tutorial)
 
@@ -13,20 +13,12 @@ The Composable Virtual Machine (CVM) is language and execution runtime for cross
 For an isolated shell (virtual environment):
 
 ```sh
-nix develop --impure
+nix develop
 ```
 
-For `issues`:
-
-https://github.com/ComposableFi/composable/
-
-
-For `higher level docs`:
-
-https://github.com/ComposableFi/composable/tree/main/docs/docs/technology/mantis
-
-https://github.com/ComposableFi/composable/tree/main/docs/docs/technology/cvm
+For `docs`:
 
+https://github.com/ComposableFi/composable-vm/tree/main/docs/
 
 For production scripts:
 
@@ -36,13 +28,3 @@ https://github.com/ComposableFi/env/
 tags: "#mev #composable #cvm #mantis #defi #cosmos #cosmwasm #evm #ibc"
 ---
 
-### Math help
-
-Need to model formulas of Order Books, CoWs, Liquid Staking, Transfers(rate limiter+escrow+free liquidity) protocols hope fully as convex functions. For example, Order Book can be modelled as as piecewise linear approximation.
-
-Also model of Cluster search to account for high fees, so that each chain is OR solution, and these chains connected by IR.
-
-Metaheuriscs way to find inner oracles (mix of ML and CS).
-
-Experience on statistics, OR, data science, CS, ML, algebraic geometry, graphs, topology.
-