add tests for case and constr #845

Sign in to view logs

Summary
Jobs
- nix-build
Run details
- Usage
- Workflow file

Triggered via push September 3, 2023 01:29

MicroProofs

case_constr_terms

Status Success

Total duration 20m 7s

Artifacts –

nix.yml

on: push