R

RustLog

A formalization of the Polonius borrow checker model

Project badge