Inquiry about Desirable PR

Stream: CSLib

[Aniket Mishra (Sati)]

Hello all. I am a student in IIT Gandhinagar, I am currently trying to form a group of people interested in programming languages and formal verification, and one of the things we'd be interested in contributing to CSLib.

The background of this group is primarily undergrad students, many of whom might themselves be getting familiar with Theoretical CS through this project. Before we start working on a PR, I want to ask if there are any specific recommendations you may have, or if there are any specific theorems/areas that the project might like for the PR to cover.

[Clark Barrett]

We are busy laying some groundwork. We hope to have a call for participation/contributions soon. Stay tuned!

[Aniket Mishra (Sati)]

I see I see. Good to know!

[Aniket Mishra (Sati)]

Clark Barrett said:

We are busy laying some groundwork. We hope to have a call for participation/contributions soon. Stay tuned!

Out of curiosity, is there any expected range for the date for the call for contributions? I saw discussion about Boole looking to be developed by August, but as far as I understand, that hasn't happen? I hope I'm not misunderstanding anything.

[Clark Barrett]

Fair critique. I'm afraid that early August was unrealistically optimistic. We are working on something now and hope to have something to share soon!