Create crate peano-axioms

This commit is contained in:
bors 2024-04-09 19:09:39 +00:00
parent 8d37df4921
commit f03abca00a

1
pe/an/peano-axioms Normal file
View file

@ -0,0 +1 @@
{"name":"peano-axioms","vers":"0.1.0","deps":[{"name":"local-type-alias","req":"^0.1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"5b95d12b9d6579e5c53cfb29d6634206454c6831dbea1236d422957ccdcdb21a","features":{},"yanked":false}