Jakub Janaszkiewicz

icon company @readycodeio icon location Warsaw icon location Reject impurity, return to monad.

Results 1 issues of Jakub Janaszkiewicz

Lithium: a Rust-native back end

9 comment

This is a draft PR outlining the work on a new Rust-native back end for Prusti, developed in connection to my Master's thesis. The aim is to, among others, evaluate...