Skip to content

Issues: vikraman/2DTypes

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

23 Open 69 Closed
23 Open 69 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Put the full syntax in the appendix
#157 opened Oct 30, 2021 by inexxt
Finalize the paper
#156 opened Oct 30, 2021 by inexxt
6 tasks done
Mention previous work with BAut(2) and how this extends it enhancement text
#153 opened Oct 28, 2021 by vikraman Revised paper
@vikraman
Typography fixes enhancement
#150 opened Oct 27, 2021 by vikraman
3 of 7 tasks
Revised paper
Notation for successor and Sn are confusing
#139 opened Sep 8, 2021 by vikraman Revised paper
Prove !⟷₁⟷₂ in Syntax Pi proof
#88 opened Feb 27, 2021 by inexxt
1
Prove quote^₂ Pi proof
#86 opened Feb 27, 2021 by inexxt
@vikraman @inexxt
Prove quote-eval²₀ Pi proof
#85 opened Feb 27, 2021 by inexxt
1
Prove eval^₂ Pi proof
#80 opened Feb 26, 2021 by inexxt
1
Prove evalNorm₂ Pi proof
#79 opened Feb 26, 2021 by inexxt
1
Prove quote-eval^₁ definition Pi proof
#77 opened Feb 21, 2021 by vikraman
@vikraman
1
Add text in section 2 text
#74 opened Feb 20, 2021 by vikraman
@vikraman
Prove the Coxeter HIT and set quotient versions are equivalent proof
#43 opened Jan 14, 2021 by vikraman
Prove the group structure of CList proof
#42 opened Jan 14, 2021 by vikraman
Sketch the equivalence between M 1 and UFin definition FSMG
#41 opened Jan 14, 2021 by vikraman
Prove the universal property of FSMG.M FSMG proof
#40 opened Jan 14, 2021 by vikraman
Show that FSMG.M is a symmetric monoidal groupoid FSMG proof
#39 opened Jan 14, 2021 by vikraman
Prove the universal property of FSMG FSMG proof
#38 opened Jan 14, 2021 by vikraman
Prove the symmetric monoidal laws for Fin n with coproduct FSMG proof
#37 opened Jan 14, 2021 by vikraman
Global goal and plan question
#30 opened Dec 28, 2020 by JacquesCarette
@vikraman @sabry
6
Show that UFin is a symmetric monoidal groupoid FSMG proof
#18 opened Dec 21, 2020 by vikraman
Fix the problem with termination checker in Diamond bug FSMG Pi proof
#17 opened Dec 21, 2020 by inexxt
2 tasks
@DreamLinuxer
Write the equivalence between path space of FSMG 1 and Coxeter proof
#16 opened Dec 21, 2020 by vikraman
@vikraman
1
ProTip! Follow long discussions with comments:>50.