Skip to content
GitLab
Explore
Sign in
Vincent Lafeychine
Refinedrust Dev
Repository
Branches
Overview
Active
Stale
All
radium/coq-scripts
9ac1b618
·
feat(derive_more): Use Deref instead of manually implement it
·
Jun 17, 2024
main
default
protected
11225d6e
·
Test CI
·
Jun 14, 2024
lgaeher/refinedrust-dev!1
lafeychine/inline_fptr
4b922adb
·
chore(inline_fptr): Improve readability of the proof
·
Jan 05, 2024
ci/enum
f63c4eb5
·
make place_rfn_interp sharing more flexible
·
Oct 03, 2023
enum
bcbecec6
·
progress with struct copy
·
Sep 27, 2023