Taneb
0 Followers · 0 Following
  • Joined on 2023-07-10
Repositories
3
 Projects Packages Public Activity Watched Repositories
Sort
Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most forks Fewest forks
eratosthenes
Agda 0
Implementation of a prime sieve in Agda
Updated 2024-07-16 05:26:37 +01:00
nas
Nix 0
Updated 2024-06-29 06:55:57 +01:00
thinnings
Agda 0
Exploration of thinnings in Agda
Updated 2024-06-24 00:21:33 +01:00