|
|
|
|
|
|
by czei002
2826 days ago
|
|
|
Can't you make the formal proof software "smart" enough to prove a theorem given sufficient intermediate steps and hints about what other theorems/defs to use? i.e. basically what a book does? This would makes writing formal proof much easier, wouldn't it? |
|
|