home.social

#naproche — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #naproche, aggregated by home.social.

  1. José A. Alonso @[email protected] ·

    Readings shared September 23, 2025. jaalonso.github.io/vestigium/p #Abella #Agda #CategoryTheory #CoqProver #FunctionalProgramming #HOL4 #Haskell #ITP #IsabelleHOL #LeanProver #Logic #Math #Naproche #Rocq #RustLang

    #rustlang #rocq #naproche #math #logic #leanprover
  2. José A. Alonso @[email protected] ·

    A natural language formalization of perfectoid rings in ℕaproche. ~ Peter Koepke. drops.dagstuhl.de/storage/00li #ITP #Naproche #Math

    #math #naproche #itp