{"id":"1904.03482","title":"System FR as Foundations for Stainless","url":"https://codeofpaper.com/paper/1904.03482","arxiv_url":"https://arxiv.org/abs/1904.03482","published":"2019-04-06","code":"official","best":{"full_name":"epfl-lara/SystemFR","url":"https://github.com/epfl-lara/SystemFR","tier":"official","stars":12,"license":"MIT","framework":null,"language":"Rocq Prover","last_commit":"2026-02-02T18:34:35"},"most_starred_community":null,"implementations":[{"full_name":"epfl-lara/SystemFR","url":"https://github.com/epfl-lara/SystemFR","tier":"official","stars":12,"license":"MIT","framework":null,"language":"Rocq Prover","last_commit":"2026-02-02T18:34:35"}],"possible_matches":0}