You can browse the source code for the development focus branch or get a copy of the branch using the command:
bzr branch lp:set-theory

There are download files available for Set Theory.

Set Theory has 2 active branches owned by 1 person. There were 1 commit by 1 person in the last month.

Bazaar branches

Name Status Last Modified Last Commit
lp:set-theory
Series: incremental
1 Development 2019-09-21 15:48:19 UTC 2019-09-21
284. {STI_BINARY_RELATION}.make fixed; sti...

Author: Rosivaldo Fernandes Alves
Revision Date: 2019-09-21 15:48:19 UTC

{STI_BINARY_RELATION}.make fixed; sti_homogeneous_graph.e ok etc.

lp:set-theory/0.25
Series: 0.25, trunk
1 Development 2018-02-15 12:17:01 UTC 2018-02-15
154. fixed broken link to pdf files of cla...

Author: Rosivaldo Fernandes Alves
Revision Date: 2018-02-15 12:17:01 UTC

fixed broken link to pdf files of classes.

12 of 2 results
You can't create new branches for Set Theory.