Skip to content

Issues: jamesdabbs/pi-base.hs

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

24 Open 26 Closed
24 Open 26 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

Locally metrizable + Paracompact does not imply Metrizable (need T_2)
#57 opened Jan 14, 2016 by yadaddy
Don't use foldl1
#56 opened Oct 26, 2015 by jamesdabbs
Extending π-base to Functional Analysis or Banach Spaces
#54 opened Sep 15, 2015 by aaronlevin
1
Installing pi-base
#53 opened May 4, 2015 by DanielHarrer
1
Hausdorff
#52 opened Mar 23, 2015 by spitters
Consistency theorems/spaces
#49 opened Nov 12, 2014 by karv
1
Algebra ?
#41 opened Nov 4, 2014 by spitters
6
CC License ?
#38 opened Oct 31, 2014 by spitters
2
enhancement: filter by topological axioms
#36 opened Jul 25, 2014 by StevenClontz
New Traits Needing Proof
#34 opened Jul 20, 2014 by austinmohr
Remaining Separation Axiom Issues
#32 opened Jul 12, 2014 by austinmohr
mobile navbar
#31 opened Jul 7, 2014 by StevenClontz
1
disable markdown italics from underscores
#30 opened Jun 28, 2014 by StevenClontz
"Cannot Parse" Theorems Involving T_X.5
#29 opened Jun 26, 2014 by austinmohr
1
Indeterminate Traits Should Appear on Space Page
#28 opened Jun 26, 2014 by austinmohr
Cardinal valued traits feature
#25 opened Jun 22, 2014 by jamesdabbs JMM
Browser / mobile support bug
#24 opened Jun 18, 2014 by jamesdabbs JMM
Add elasticsearch feature
#23 opened Jun 18, 2014 by jamesdabbs
Fuzzy property name matching for formula fields feature
#22 opened Jun 16, 2014 by jamesdabbs
Improve deduced trait display feature
#19 opened Jun 7, 2014 by jamesdabbs JMM
Conjecture finder idea
#17 opened Jun 6, 2014 by jamesdabbs
Generic spaces idea
#14 opened Jun 6, 2014 by jamesdabbs
1
Image support feature
#13 opened Jun 6, 2014 by jamesdabbs JMM
Add hspec tests feature
#7 opened Jun 5, 2014 by jamesdabbs
ProTip! no:milestone will show everything without a milestone.