If everyone reading this donated $1 we would be done in a matter of hours. Once we reach our goal of $150/mo we will remove ads site-wide, but if you become a Patron today♥ you will enjoy a totally ad-free experience! ☺

Become a Patron!

#isabelle on freenode

On freenode | Users Online: 23 | Last Updated: 2018-03-22 13:04:53
Connect to this channel with ... connect to IRC using IRCCloud IRCCloud | connect to IRC using KiwiIRC KiwiIRC | connect to IRC using your default IRC client Default IRC Client

Topic: Official channel for the Isabelle/HOL theorem prover: http://www.cl.cam.ac.uk/research/hvg/Isabelle/index.html || Now with logging: http://irclog.perlgeek.de/isabelle/

Topic History(Last 3 topics)

    Error loading topic history!

Channel Traffic: 7 Day History

If you are seeing this, please refresh the page.

Comments on this channel