- in MatitaEngine unificare/rimuovere eval_string, eval_from_stream e
eval_from_stream_greedy -> CSC
- menu contestuale (tasto dx) nel sequent viewer -> Zack
- in MatitaEngine unificare/rimuovere eval_string, eval_from_stream e
eval_from_stream_greedy -> CSC
- menu contestuale (tasto dx) nel sequent viewer -> Zack