‘Galculator’ Functional Prototype of a Galois-connection Based Proof Assistant ‘Galculator’ Functional Prototype of a Galois-connection Based Proof Assistant João…