Status of Boole

Stream: CSLib

[zceejkr]

Apologies if this is off topic, but I keep reading about Boole in relation to CSLib around here. Where could I find more info about this Boole?

[Adrien Champion]

My understanding is that it's still in early stages, but you can take a look here:

• https://github.com/leanprover/cslib/tree/Boole-sandbox/Cslib/Languages/Boole

[Clark Barrett]

More information about the status of Boole and CSLib Pillar 2 in general can be found in the updated CONTRIBUTING document on GitHub. We will also be discussing Boole and related topics on the #CSLib: Code Reasoning channel.