Library Proofchat.theories.Unix

• Unix
  • Sockets
  • Threads

Library Proofchat.theories.OCamlTypes

• OCaml Types

Library Proofchat.theories.StringTheory

• String Theory

Library Proofchat.theories.Monads

• Monads

Library Proofchat.theories.Messages

• Messages
  • Usernames
  • Serialization

Library Proofchat.theories.Client

• Client

Library Proofchat.theories.Server

• Server
  • Server state

Library Proofchat.theories.PCExtract

• Extraction
  • Functions
  • Server state
  • Types
  • Extraction