GitXplorerGitXplorer
c

lean-carddisjointunion

public
0 stars
0 forks
0 issues

Commits

List of commits on branch master.
Unverified
33b9013419de7eb9d62a40bf132537dfa224fd0f

found out that I was using \Sigma, not \sum :-(

ccfbolz committed 5 years ago
Unverified
ba3f32034dc7f8a61120acc9b7c6ff0c6fd20cc3

tweaks

ccfbolz committed 5 years ago
Unverified
18d50844a18ba04d84a7753ad1fd7f854e0573b8

initial commit

ccfbolz committed 5 years ago
Verified
e35e46bd7d31e70a4994e422c3ae951412a4b32f

Initial commit

ccfbolz committed 5 years ago