| Project | Description | Owner | Last Change | |
|---|---|---|---|---|
| cduce.git | Unnamed repository; edit this... | Dr. Pietro Abate | 7 months ago | summary | shortlog | log | tree |
| hashconsing.git | Unnamed repository; edit this... | Dr. Pietro Abate | 11 months ago | summary | shortlog | log | tree |
| polysub.git | Unnamed repository; edit this... | Dr. Pietro Abate | 6 months ago | summary | shortlog | log | tree |
| regdev.git | Unnamed repository; edit this... | Dr. Pietro Abate | 6 months ago | summary | shortlog | log | tree |
| sattest.git | Unnamed repository; edit this... | Dr. Pietro Abate | 9 months ago | summary | shortlog | log | tree |