Peano-0.0.3: simple Peano numbers

Index

infinityData.Peano
PeanoData.Peano
plusData.Peano
SuccData.Peano
timesData.Peano
ZeroData.Peano