xtrm0

Results 4 issues of xtrm0

Update hyper_graph.h

This snippet makes all coq lines with . annoying

Is there a way to make this middleware correctly integrate with the openapi generators from fastapi? For instance. Currently, this: ``` @router.get("/me", response_model=schemas.User) @requires('user') async def read_user_me(request: Request, db: Session...