heyting-algebras

Uploads

• 0.2.0.1-0 uploaded 2021-03-27T13:40:47.000Z by coot. latest
• 0.0.2.0-0 uploaded 2019-02-16T10:49:06.000Z by coot.
• 0.0.1.2-0 uploaded 2018-10-05T23:11:37.000Z by coot.
• 0.0.1.1-0 uploaded 2018-10-05T21:48:50.000Z by coot. deprecated
• 0.0.1.0-0 uploaded 2018-10-05T21:40:25.000Z by coot. deprecated

Uploaders

• coot