Below you find some working examples. Simply click on the link and you will find the proof inserted in the editor.

You have developed new proofs with Elfe? Share them by creating a pull request on GitHub!

Inverse and function itself is identity

geo1

Injectivity of a function composition

Complement of an inverse relation

Incorrect proof for relations

Union of relation and inverse is symmetric

Cantors Theorem

midpoint_par_axioms

Surjectivity of function composition

Symmetric and transitive relations are reflexive

Complement of a union

geo1_direct

midpoint

midpoint_par

Complement of complement of a set

gupta

Distribution of set intersection

Simple proof

Knaster-Tarski theorem

Midpoint Extension