8000 GitHub - metamath/set.mm at logb
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

metamath/set.mm

BranchesTags
8000
 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

636 Commits
.gitignore
.gitignore
 
 
.travis.yml
.travis.yml
 
 
LICENSE
LICENSE
 
 
README.md
README.md
 
 
discouraged
discouraged
 
 
set.mm
set.mm
 
 

Repository files navigation

set.mm Build Status

Metamath source file for logic and set theory

About

Metamath source file for logic and set theory

Resources

Readme

License

View license
Activity
Custom properties

Stars

285 stars

Watchers

21 watching

Forks

95 forks
Report repository

Releases

1 tags

Packages

No packages published
5E1D

Contributors 53

+ 39 contributors

Languages
0