{"name":"theorem-prover","vers":"0.1.0","deps":[{"name":"clap","req":"^4.4.8","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"derivative","req":"^2.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log4rs","req":"^1.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pest","req":"^2.7.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pest_derive","req":"^2.7.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"875c15c26aec4404647f28ae24c346f1907e166e7f361350a39cbb9c80940b6c","features":{},"yanked":false,"pubtime":"2026-06-07T01:19:00Z"}
{"name":"theorem-prover","vers":"0.1.1","deps":[{"name":"clap","req":"^4.4.8","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"derivative","req":"^2.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log4rs","req":"^1.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pest","req":"^2.7.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pest_derive","req":"^2.7.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"6125022784afaac0ded16a8f6a59d4718803e0aaa8d1b8e532431588ba17908c","features":{},"yanked":false,"pubtime":"2026-06-07T02:01:54Z"}