Search results

Add mrmartin/On-Formally-Undecidable-Propositions-of-NP

Status: Open.

#14 In FormalizedFormalLogic/awesome-logic-formalization;

· SnO2WMaN opened on Apr 13, 2026

Add copilot instruction as librarian

Status: Open.

#9 In FormalizedFormalLogic/awesome-logic-formalization;

· SnO2WMaN opened on Mar 13, 2026

Coq/hydra-battles

Status: Open.

#6 In FormalizedFormalLogic/awesome-logic-formalization;

· iehality opened on Mar 12, 2026

Repository URL list

Status: Open.

#5 In FormalizedFormalLogic/awesome-logic-formalization;

· SnO2WMaN opened on Mar 12, 2026

Tag filter

Status: Open.

#2 In FormalizedFormalLogic/awesome-logic-formalization;

· SnO2WMaN opened on Mar 12, 2026

Output bibtex file

Status: Open.

#1 In FormalizedFormalLogic/awesome-logic-formalization;

· SnO2WMaN opened on Mar 12, 2026