Skip to content
@physicslib

physicslib

Solving Hilbert's 6th problem in Lean

Pinned Loading

  1. physicslib4 physicslib4 Public

    Solving Hilbert's 6th problem in Lean

    Lean 4

Repositories

Showing 1 of 1 repositories
  • physicslib4 Public

    Solving Hilbert's 6th problem in Lean

    physicslib/physicslib4's past year of commit activity
    Lean 4 Apache-2.0 0 0 0 Updated Nov 1, 2026

People

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

Top languages

Lean

Most used topics

Loading…