Skip to content
@axiomed

Axiomed

Lean4 for software engineers.

Popular repositories Loading

  1. http http Public

    🌐 | HTTP primitives for Lean 4

    Lean 28 7

  2. specs specs Public

    🧪 | A test framework for Lean 4.

    Lean 4 2

  3. time time Public

    Date primitives for lean based on chrono and time

    Lean 3 1

  4. case-insensitive case-insensitive Public

    Case Insensitive String for Lean4

    Lean 1 1

Repositories

Showing 4 of 4 repositories
  • http Public

    🌐 | HTTP primitives for Lean 4

    axiomed/http’s past year of commit activity
    Lean 28 Apache-2.0 7 2 0 Updated Oct 21, 2024
  • time Public

    Date primitives for lean based on chrono and time

    axiomed/time’s past year of commit activity
    Lean 3 1 0 0 Updated Aug 14, 2024
  • specs Public

    🧪 | A test framework for Lean 4.

    axiomed/specs’s past year of commit activity
    Lean 4 2 1 0 Updated Aug 11, 2024
  • case-insensitive Public

    Case Insensitive String for Lean4

    axiomed/case-insensitive’s past year of commit activity
    Lean 1 1 0 0 Updated Jun 4, 2024

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…