Skip to content
@mathsforces

Mathsforces

Online maths contests powered by interactive theorem provers

Pinned Loading

  1. mathsforces mathsforces Public

    Online maths contests powered by interactive theorem provers

    Lean

Repositories

Showing 9 of 9 repositories
  • judge Public
    mathsforces/judge’s past year of commit activity
    TypeScript 0 GPL-3.0 0 0 3 Updated Aug 7, 2023
  • lean4web Public Forked from leanprover-community/lean4web
    mathsforces/lean4web’s past year of commit activity
    CSS 0 20 0 6 Updated Jul 24, 2023
  • glide Public

    Focus on what matters instead of fighting with Lean installation.

    mathsforces/glide’s past year of commit activity
    CSS 0 GPL-3.0 0 0 1 Updated Jun 6, 2023
  • lean-web-editor Public Forked from leanprover-community/lean-web-editor

    Lean web editor

    mathsforces/lean-web-editor’s past year of commit activity
    TypeScript 0 26 0 7 Updated Apr 26, 2023
  • mathsforces Public

    Online maths contests powered by interactive theorem provers

    mathsforces/mathsforces’s past year of commit activity
    Lean 0 Apache-2.0 0 0 0 Updated Apr 20, 2023
  • cli Public
    mathsforces/cli’s past year of commit activity
    0 0 0 0 Updated Apr 17, 2023
  • Socket.lean Public Forked from xubaiw/Socket.lean

    A toy implementation of socket programming for Lean 4.

    mathsforces/Socket.lean’s past year of commit activity
    C 0 Apache-2.0 9 0 0 Updated Feb 23, 2023
  • lean3-docker Public
    mathsforces/lean3-docker’s past year of commit activity
    Dockerfile 0 0 0 0 Updated Feb 18, 2023
  • cm-unicode Public

    https://ctan.org/tex-archive/fonts/cm-unicode/fonts/otf/

    mathsforces/cm-unicode’s past year of commit activity
    0 0 0 0 Updated Feb 9, 2023

Top languages

Loading…

Most used topics

Loading…