Repository navigation

Add RFC 9112 HTTP/1.1 request framing specification and Verified Bar v2 scaffold - #4

Open

orda-aska wants to merge 3 commits into

mainfrom

feat/rfc9112-request-framing

Open

Add RFC 9112 HTTP/1.1 request framing specification and Verified Bar v2 scaffold#4
orda-aska wants to merge 3 commits into
mainfrom
feat/rfc9112-request-framing

Commits on Nov 11, 2026
- Add initial configuration in bar.toml
  orda-aska
  authored
  e1bb4c1
- Add HTTP/1.1 Message Framing and Chunked Transfer Coding spec
  orda-aska
  authored
  a448188
- Enhance README with library details and theorems
  orda-aska
  authored
  e8920cc