1. Ambrus Kaposi Avatar Ambrus Kaposi
  2. Untitled project
  3. tt-in-tt
  4. Issues

Rewrite things without K

Issue #4 new
Ambrus Kaposi repo owner created an issue

The normalisation proofs would be especially interesting.

Comments (0)

  1. Log in to comment
Assignee
–
Type
enhancement
Priority
major
Status
new
Votes
0
Watchers
1
Jira: the preferred issue tracker for Bitbucket. Join the team!