GitHub Explorer

by Alexey Ratnikov

GitHub Explorer

GitHub Explorer|TRENDING COMPARE|FEEDBACK

Back to search

Copyright (c) 2026 Alexey Ratnikov

b-mehta/topos - GitHub Explorer | GitHub Explorer | Trending | Compare

topos

b-mehta•PUBLIC

Topos theory in lean

leanprovertopos-theory

Created on Feb 16, 2020

Updated on Sep 19, 2025

Stars

64

Forks

2

Watchers

64

Open Issues

8

Repository Health Score

❤️

25/100

Poor

Overall repository health assessment

Score Breakdown

Activity

Inactive - no updates in 3+ months

0/30

0%

Community

64 stars, 2 forks

0/30

0%

Documentation

Has description, wiki

15/20

75%

Maintenance

12.5% issue ratio

10/20

50%

Health score is calculated based on activity, community engagement, documentation quality, and maintenance practices

Languages

Lean

99.9%

Dockerfile

0.1%

Issues Analytics

31

Total Issues

All time

8

Open

26% of total

23

Closed

74% of total

2mo

Avg Close Time

Avg response

Issues Activity: Last 6 months

Top Labels

Hottest Issues

1

#14 Uniqueness of adjunctions

light

4

closed

2

#27 Creating connected limits

3

closed

3

#22 Escaping the trunc?

3

closed

4

#9 Write a tactic `rewrite_assoc` that performs rewriting mod associativity of composition.

2

1

open

5

#4 Cartesian closed

good first issue

3

closed

Dependencies

No package.json found

This might not be a Node.js project

Top Contributors

1

b-mehta

User

163

commits

2

EdAyers

User

58

commits

3

Vtec234

User

6

commits

4

thjread

User

4

commits

5

robertylewis

User

1

commits

Recent Commits

fix

Bhavik Mehta•5 years ago

c9032b1View on GitHub

mathlib skel

Bhavik Mehta•5 years ago

83c0fbeView on GitHub

auto update dependencies

leanprover-community-bot•5 years ago

db4278eView on GitHub

auto update dependencies

leanprover-community-bot•5 years ago

167afb9View on GitHub

auto update dependencies

leanprover-community-bot•5 years ago

da9c869View on GitHub

auto update dependencies

leanprover-community-bot•5 years ago

cfa375aView on GitHub

auto update dependencies

leanprover-community-bot•5 years ago

65b5738View on GitHub

auto update dependencies

leanprover-community-bot•5 years ago

e9bd174View on GitHub

auto update dependencies

leanprover-community-bot•5 years ago

e36d876View on GitHub

auto update dependencies

leanprover-community-bot•5 years ago

7be632dView on GitHub

auto update dependencies

leanprover-community-bot•5 years ago

16813a9View on GitHub

auto update dependencies

leanprover-community-bot•5 years ago

6fe823dView on GitHub

auto update dependencies

leanprover-community-bot•5 years ago

ab19e4dView on GitHub

auto update dependencies

leanprover-community-bot•5 years ago

d21359eView on GitHub

auto update dependencies

leanprover-community-bot•5 years ago

c1da0a1View on GitHub

View all commits