-
Notifications
You must be signed in to change notification settings - Fork 1
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
Independence of CH in Isabelle/ZF
add:publicationAdd publicationAdd publicationadd:repositoryAdd repositoryAdd repositoryStatus: Open.#22 In FormalizedFormalLogic/awesome-logic-formalization;- Status: Open.#14 In FormalizedFormalLogic/awesome-logic-formalization;
- Status: Open.#9 In FormalizedFormalLogic/awesome-logic-formalization;
- Status: Open.#6 In FormalizedFormalLogic/awesome-logic-formalization;
- Status: Open.#5 In FormalizedFormalLogic/awesome-logic-formalization;
- Status: Open.#2 In FormalizedFormalLogic/awesome-logic-formalization;
- Status: Open.#1 In FormalizedFormalLogic/awesome-logic-formalization;