improved on the representation of the proof process from the current eclipse plugins. the idea is to get to something closer to the code. This is an abstraction of the code (or EMF models) so far, that is akin to / close to the WhyM models, but not taking definitions or context or theories into account, but just proofs.
improved on the representation of the proof process from the current eclipse plugins. the idea is to get to something closer to the code. This is an abstraction of the code (or EMF models) so far, that is akin to / close to the WhyM models, but not taking definitions or context or theories into account, but just proofs.

next, we can add operations  / proofs about these structures, or enrich the ProofTree language?

andriusvelykis/proofprocess,andriusvelykis/proofprocess