-
Notifications
You must be signed in to change notification settings - Fork 23
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
Directory structure: preliminary-relocation policy, deferred moves, and decision items
documentationImprovements or additions to documentationImprovements or additions to documentationStatus: Open.#987 In TauCetiProject/TauCeti;- Status: Open.#936 In TauCetiProject/TauCeti;
- Status: Open.#856 In TauCetiProject/TauCeti;
Hygiene: move the coordination contract out of the Lean tree, prune verified dead API
documentationImprovements or additions to documentationImprovements or additions to documentationStatus: Open.#806 In TauCetiProject/TauCeti;Analysis/Complex/Conformal: prove the Schwarz reflection crossing theorem
help wantedExtra attention is neededExtra attention is neededroadmap/ConformalMappingPR advances the ConformalMapping roadmapPR advances the ConformalMapping roadmapStatus: Open.#805 In TauCetiProject/TauCeti;Analysis/Contour: make the on-curve winding-number layer real (HW Prop 2.2 and regularity-condition witnesses)
help wantedExtra attention is neededExtra attention is neededroadmap/ContourIntegrationPR advances the ContourIntegration roadmapPR advances the ContourIntegration roadmapStatus: Open.#804 In TauCetiProject/TauCeti;CompletelyMonotone: final assembly of Bernstein's theorem
help wantedExtra attention is neededExtra attention is neededroadmap/OneParameterSemigroupsPR advances the OneParameterSemigroups roadmapPR advances the OneParameterSemigroups roadmapStatus: Open.#803 In TauCetiProject/TauCeti;KnotTheory/Grid: prove the square of the fully blocked grid differential is zero
help wantedExtra attention is neededExtra attention is neededroadmap/CombinatorialHeegaardFloerPR advances the CombinatorialHeegaardFloer roadmapPR advances the CombinatorialHeegaardFloer roadmapStatus: Open.#802 In TauCetiProject/TauCeti;Exchangeability: assemble the de Finetti chain (finite-level factorization to the tail limit)
roadmap/ExchangeabilityPR advances the Exchangeability roadmapPR advances the Exchangeability roadmapStatus: Open.#801 In TauCetiProject/TauCeti;NumberTheory/EffectiveBounds: close the acceptance criteria on the actual fields, fold the wrapper chains
roadmap/EffectiveBoundsPR advances the EffectiveBounds roadmapPR advances the EffectiveBounds roadmapStatus: Open.#800 In TauCetiProject/TauCeti;NumberTheory/Multiquadratic: consolidate the four parallel radicand tracks and the worked-example files
roadmap/MultiquadraticPR advances the Multiquadratic roadmapPR advances the Multiquadratic roadmapStatus: Open.#799 In TauCetiProject/TauCeti;Isotopy: unify the duplicated AmbientIsotopyClass developments and fix the smooth/continuous naming
roadmap/GeometricTopologyPR advances the GeometricTopology roadmapPR advances the GeometricTopology roadmapStatus: Open.#798 In TauCetiProject/TauCeti;