newsBooleanAlgebrasIntro2 - News

Show summaries for the latest news.

Latest News Approved - With Summaries
The big picture in bool2
     posted by deluger, Fri 30 Mar 2018 01:45:41 AM UTC - 0 replies

So, the big news with bool2, my humble, yet, ambitious Coq formalization of Boolean algebras, is that I will soon complement it with some computational group theory in GAP, in the directory ...

[Read more]

Back to the top

Powered by Savane 3.3