Heyting Algebras v0.0.1.2 Release Notes

Release Date: 2018-10-05 // almost 4 years ago