2024-07-24 Formalization Working Group Meeting notes

2024-07-24 Formalization Working Group Meeting notes

Date

Jul 24, 2024

https://openlibraryfoundation.zoom.us/j/88432586375

Recording: https://prod-zoom-recordings-openlibraryfoundation-org.s3.amazonaws.com/866a9f09-8201-46c5-860d-b98d5e6af78c%2Fshared_screen_with_speaker_view.mp4

Attendees: 

 

Discussion items

Time

Item

Who

Notes

Time

Item

Who

Notes

50min

Updates on RFCs, PoC, etc

Craig, others

 

 

Current projects

All

  • @Wayne Schneider can generate a dependency graph from Okapi, possibly by area

    • Here are the graphs:

 

 

 

 

Action items

Type your task here. Use "@" to assign a user and "//" to select a due date.