Diffusion FreeBSD ports repository b05fa3fd3e88

math/lean4: Add Std4 library
b05fa3fd3e88
Actions

Tags

None

Referenced Files

None

Subscribers

None

Description

math/lean4: Add Std4 library

Details

Provenance

yuri	Authored on Jan 15 2024, 9:13 PM

Parents

R11:2e03c3485f9e: sysutils/restic: Update to 0.16.3

Branches

Unknown

Tags

Unknown

Event Timeline

yuri committed R11:b05fa3fd3e88: math/lean4: Add Std4 library (authored by yuri).Jan 15 2024, 9:14 PM

Changes (3)

Path

Size

math/

lean4/

R11:b05fa3fd3e88

math/lean4/Makefile

Loading...

math/lean4/distinfo

Loading...

math/lean4/pkg-plist

Loading...