- console:MatitaConsole.console ->
- get_proof:(unit -> MatitaTypes.proof) ->
- new_proof:(MatitaTypes.proof -> unit) ->
+ currentProof:MatitaTypes.currentProof ->
+ console:MatitaTypes.console ->
+ ?mathViewer:MatitaTypes.mathViewer ->
+ dbd:Mysql.dbd ->