François G. Dorais

Research in Logic and Foundations of Mathematics


I have just enabled Disqus commenting system. It has lots of nice features, but there are a few bugs we need to fix — that’s part of the Boole’s Rings way…

The most obvious issue is that MathJax currently doesn’t work in comments. I’m hoping that will get fixed very soon, so keep on using in comments even if it’s not pretty for the moment.

There are a few other minor issues. Let me know if you encounter an issue, that will help us tune this new plugin.

CC0 Originally posted on by François G. Dorais. To the extent possible under law, François G. Dorais has waived all copyright and neigboring rights to this work.