Skip to content

Issues: advancedresearch/prop

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

18 Open 55 Closed
18 Open 55 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

Interfacing with normal Rust code discussion
#1270 opened Jan 18, 2023 by bvssvni
pow_not_e collapses theory(a) to up(a) discussion
#855 opened Jan 6, 2023 by bvssvni
Make Avatar Modal Logic use ¬¬a instead of false^(false^a)) discussion draft
#611 opened Dec 2, 2022 by bvssvni
Does Avatar Modal Logic make sense? discussion
#559 opened Nov 11, 2022 by bvssvni
1
Current set of HOOO axioms draft information
#502 opened Oct 27, 2022 by bvssvni
Introduce SProp trait for !~a == ~!a discussion draft
#491 opened Oct 20, 2022 by bvssvni
1
Use 1-avatar for ◇a discussion draft
#468 opened Oct 4, 2022 by bvssvni
Use T, F instead of True, False discussion draft
#409 opened Sep 27, 2022 by bvssvni
1
Use false^!(a == b) for Leibniz equality discussion draft
#395 opened Sep 26, 2022 by bvssvni
Check hom_eq(2, a, b) == ((a ~~ b) | (a ~!~ b)) discussion draft
#367 opened Sep 23, 2022 by bvssvni
Add type alias for !a == !!b for type theoretic existential philosophy discussion draft
#343 opened Sep 2, 2022 by bvssvni
2
Add AProp trait discussion draft
#319 opened Aug 13, 2022 by bvssvni
Restrict substitution of arguments in quality to homotopy level 2 discussion draft
#302 opened May 1, 2022 by bvssvni
Investigate using double-negated exclusions of corners in Catuskoti discussion
#296 opened Apr 21, 2022 by bvssvni
Investigate (!!me | !me) & all x { x & !me } for Type Theoretic Existential Philosophy discussion
#245 opened Apr 1, 2022 by bvssvni
Add Constrained Implication Theorem medium
#130 opened Sep 16, 2021 by bvssvni
Add Abstract Implication Theorem medium
#129 opened Sep 16, 2021 by bvssvni
Theorem Proving Guide for Path Semantics draft information
#124 opened May 24, 2021 by bvssvni
ProTip! Exclude everything labeled bug with -label:bug.