Skip to content

@axiomed Axiomed

Change the repository type filter

All

    Repositories list

    4 repositories

    • http

      Public
      🌐 | HTTP primitives for Lean 4
      Lean
      •
      Apache License 2.0
      •6•25•2•0•Updated Oct 21, 2024Oct 21, 2024

    • time

      Public
      Date primitives for lean based on chrono and time
      Lean
      •1•3•0•0•Updated Aug 14, 2024Aug 14, 2024

    • specs

      Public
      🧪 | A test framework for Lean 4.
      Lean
      •2•4•1•0•Updated Aug 11, 2024Aug 11, 2024

    • case-insensitive

      Public
      Case Insensitive String for Lean4
      Lean
      •1•1•0•0•Updated Jun 4, 2024Jun 4, 2024