lclem
agda-kernel
Jupyter Notebook

An experimental Agda kernel for Jupyter

Last updated Mar 25, 2026
25
Stars
3
Forks
4
Issues
0
Stars/day
Attention Score
9
Language breakdown
No language data available.
Files click to expand
README
No README available.
🔗 More in this category

© 2026 GitRepoTrend · lclem/agda-kernel · Updated daily from GitHub