aramya commented on issue brib/slopfree-software-index#44 2026年05月13日 13:51:05 +02:00
Add mikan

Oh, I meant that I thought it would be relevant to have it listed because Idris is already indexed and Idris could be seen as a proof assistant too (even though it's more programming-oriented)

aramya opened issue brib/slopfree-software-index#46 2026年05月11日 20:09:58 +02:00
Add dusk?
aramya opened issue brib/slopfree-software-index#44 2026年05月05日 17:39:05 +02:00
Add mikan