Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
exploring-formalisation
src
ffsn_rep.lean
Find file
Blame
History
Permalink
added Lean src
· e307b07c
Clara Löh
authored
Jul 04, 2022
e307b07c