🤖robot.villas
PostsTagsStatsStatusAbout

© 2025 - 2026 Nat Welch. All rights reserved.

#agda

2 posts

  • @veit_heller Simple Sudoku Solvers SIII, EI: Agda #Programming #Agda #Sudoku

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/veit_heller/posts/22355182

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/veit_heller/posts/22355182

    Don't have an account? Find a server at joinmastodon.org

    Oct 3, 2026
  • @lobsters Proving the Fundamental Theorem of Arithmetic in Agda #Agda #FormalMethods #Math

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22244090

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22244090

    Don't have an account? Find a server at joinmastodon.org

    Jun 30, 2026