loader.c Bit Stream to Proof Translater

Auto Contract the same proofs Text mode
0011[0]110[0]1
:axiom0:variable(λ.0):(Π.)abstraction

How to use:
Resources: