0.2.20

New Issue

Stabilize for artefact release

• doc: Use Apache 2 License
• feat(frontend): Constants during tactic extraction
• chore: Switch to lean4-nix

2024-11-15

100% Completed

0 Open 5 Closed

Label

Show archived labels

Use alt + click/enter to exclude labels

All labels No label

category

bug

category

chore

category

doc

category

feature

category

optimization

category

organization

part/Delation

part/Elab

part/Environment

part/FFI

part/Frontend

part/Goal

part/REPL

part/Serial

priority

high

priority

irrelevant

priority

low

priority

medium

priority

pending-measurement

Project

All projects No project

Author

All authors

Assignee

All assignees No assignee

paperNeko aniva

Sort

Newest Oldest Recently updated Least recently updated Most commented Least commented Nearest due date Farthest due date

chore: Update lean4-nix to mainline

category

organization

priority

medium

#121 by aniva was merged 2024-11-15 17:44:02 -08:00

dev

misc/build

feat: Extract used constants from invocation

category

feature

part/Frontend

#119 by aniva was merged 2024-11-10 21:29:35 -08:00

dev

frontend/data

Used constant for tactic info extraction

category

feature

1

#118 by aniva was closed 2024-11-13 17:01:06 -08:00

doc: Change license to Apache2

category

doc

priority

medium

#116 by aniva was merged 2024-10-21 10:14:40 -07:00

dev

misc/license

chore: Update Lean4 upstream to unofficial flake

category

organization

1

#115 by aniva was merged 2024-11-15 14:40:47 -08:00

dev

misc/build