Issues

• Automatic upgrade has failed

  b-mehta/topos#38 · Filter by author github-actions opened on Jan 7, 2021

• Kleisli categories

  b-mehta/topos#32 · Filter by author Vtec234 opened on Mar 12, 2020

• Improve epi-mono factorisation

  b-mehta/topos#28 · Filter by author b-mehta opened on Mar 5, 2020

• reflexive coequalizers

  light
  b-mehta/topos#20 · Filter by author b-mehta opened on Feb 25, 2020

• Johnstone's exercise

  b-mehta/topos#13 · Filter by author b-mehta opened on Feb 22, 2020

• move comma.lean and pullback.lean to mathlib

  light
  b-mehta/topos#10 · Filter by author EdAyers opened on Feb 19, 2020

• Write a tactic rewrite_assoc that performs rewriting mod associativity of composition.

  b-mehta/topos#9 · Filter by author EdAyers opened on Feb 19, 2020
  2

• Generalise limit.lift_self_id etc to cones.

  good first issue
  b-mehta/topos#7 · Filter by author EdAyers opened on Feb 19, 2020
  1