Skip to content
Snippets Groups Projects

list lookup lemmas: cons, singleton

Merged Ralf Jung requested to merge ralf/list-lookup into master
Status
Pipeline
Created by
Stages
Passed

00:04:55

merge request
avatar
Download artifacts

No artifacts found

Failed

00:04:28

avatar
Download artifacts

No artifacts found

Loading