Skip to content
GitLab
Explore
Sign in
natded
Peano.v
Find file
Blame
History
Permalink
Logic is K or J rather than Classic,Intuiti
· daaf8139
Pierre Letouzey
authored
Aug 03, 2020
Longer names are still accepted (as defined alias)
daaf8139
Loading
