Aleigra Proofs