Demo of working with refinement and proofs

Demo of working with refinement and proofs

https://play.kth.se/media/video1499017620/0_5dpxby40

 

Demo of working with well-definedness

https://play.kth.se/media/DD2460WD/0_gvzyokdc