Giters
Mathsforces (mathsforces)

Mathsforces

mathsforces

Geek Repo

Online maths contests powered by interactive theorem provers

Location:United Kingdom

Home Page:https://mathsforces.com

Github PK Tool:Github PK Tool

Mathsforces's repositories

cli

Stargazers:0Issues:1Issues:0

cm-unicode

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

Stargazers:0Issues:1Issues:0

glide

Focus on what matters instead of fighting with Lean installation.

Language:CSSLicense:GPL-3.0Stargazers:0Issues:1Issues:0

judge

Language:TypeScriptLicense:GPL-3.0Stargazers:0Issues:1Issues:0

lean-web-editor

Lean web editor

Language:TypeScriptStargazers:0Issues:0Issues:0

lean3-docker

Language:DockerfileStargazers:0Issues:1Issues:0

lean4web

Language:CSSStargazers:0Issues:0Issues:0

mathsforces

Online maths contests powered by interactive theorem provers

Language:LeanLicense:Apache-2.0Stargazers:0Issues:1Issues:0

Socket.lean

A toy implementation of socket programming for Lean 4.

Language:CLicense:Apache-2.0Stargazers:0Issues:0Issues:0