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 http://cvs.savannah.nongnu.org/viewvc/bool2/bool2/bestfo/ ...


[Read more]

Back to the top


Powered by Savane 3.3