Skip to content

Lemma lists #74

New issue
New issue
Open
Open
Lemma lists#74
Assignees
blekerfeld
Labels
feature
Milestone
First public test release
@blekerfeld

Description

@blekerfeld
blekerfeld
opened on Sep 24, 2017

Allow grouping lemmas in lists, to do batch derivation and things like that...

Metadata

Metadata

Assignees

Labels

feature

Projects

No projects

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions