File size: 764 Bytes
effde1c |
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 |
## Example API Payloads
### Create Universe
POST /universes
```json
{
"name": "Group Theory",
"description": "Universe for group theory",
"universe_type": "group_theory",
"axioms": ["Closure", "Associativity", "Identity", "Inverse"]
}
```
### Add Axiom
POST /axioms
```json
{
"universe_id": 1,
"statement": "Commutativity"
}
```
### Evolve Axiom
POST /axioms/evolve
Form data or JSON:
```json
{
"axiom_id": 2,
"new_statement": "Commutativity (strong)"
}
```
### Derive Theorem
POST /theorems/derive
```json
{
"universe_id": 1,
"axiom_ids": [1, 2],
"statement": "Closure Commutativity"
}
```
### Create Proof
POST /proofs
```json
{
"axiom_id": 1,
"content": "Proof details here."
}
``` |