boikodenys

followers

following

stars

Kyiv, Ukraine

boikodenys's starred repositories

theorem-prover

An automated theorem prover for first-order logic.

Language:Python23300

Links

ProductDiscover

Data Powerby api.github.com. Remove your profile on the Giters? Go to settings.

Contact Site Admin: Giters.