issues
search
SKolodynski
/
IsarMathLib
IsarMathLib is a library of formalized mathematics for Isabelle/ZF.
https://isarmathlib.org
Other
16
stars
2
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
More on modules
#36
dan323
closed
2 months ago
0
Module_ZF_1.thy
#35
dan323
closed
2 months ago
2
Vector spaces and modules
#33
SKolodynski
opened
4 months ago
4
More theories presented at isarmathlib.org
#32
SKolodynski
closed
10 months ago
1
Finite State Machines
#30
dan323
closed
1 year ago
0
spectrum of quotient ring
#29
dan323
closed
1 year ago
1
mapping ideals
#28
dan323
closed
1 year ago
0
Problems because of notation
#27
dan323
opened
1 year ago
9
Add interpretation to the parser
#26
dan323
closed
1 year ago
5
fix Group_ZF_4 parser
#25
dan323
closed
1 year ago
0
Ring ideals
#24
dan323
opened
1 year ago
1
Zariski Topology
#23
dan323
closed
1 year ago
7
sublocales
#22
dan323
closed
1 year ago
5
Definition natural number "1,2,3,4,5,6,7,8,9,10"
#21
CoghettoR
opened
1 year ago
4
Tarski-Grothendieck Axioms
#20
CoghettoR
closed
1 year ago
1
Cardinal_ZF in ROOT ?
#19
CoghettoR
closed
2 years ago
1
IsarMathLib version 1.15.0: comparison with Mizar
#18
CoghettoR
closed
2 years ago
4
Inverse map in roelcke uniformity
#17
dan323
closed
3 years ago
0
A topological space is uniformizable iff it is completely regular.
#16
SKolodynski
opened
3 years ago
0
Rewrite topological group proofs
#15
dan323
opened
3 years ago
9
Roelcke uniformity
#14
dan323
closed
4 years ago
5
added new theory UniformSpace_ZF_1 to the session ROOT file
#13
SKolodynski
closed
4 years ago
0
Uniformly continuous functions
#12
dan323
closed
4 years ago
1
isar2html does not support references to theorems with statement number
#11
SKolodynski
closed
4 years ago
0
TopologicalGroup_Uniformity_ZF.thy not presented at isarmathlib.org
#10
SKolodynski
closed
4 years ago
1
isar2html does not support definitions in a locale
#9
SKolodynski
closed
4 years ago
8
Uniformly continuous mappings
#8
dan323
opened
4 years ago
0
TopologicalGroup_ZF.thy HTML rendering broken for v1.12.0
#7
SKolodynski
closed
4 years ago
2
Possibility of CI with github actions
#6
dan323
closed
1 year ago
2
Isabelle2020 released, IsarMathLib still at Isabelle2019
#5
SKolodynski
closed
4 years ago
0
Topological group uniformities. Roelcke uniformity.
#4
dan323
opened
4 years ago
2
side uniformities for topological groups
#3
dan323
closed
4 years ago
6
Adding issues and milestones
#2
dan323
closed
1 year ago
2
Some errors found in a file
#1
dan323
closed
4 years ago
0