Skip to content
F* CI

Generate base construtors for inductives with univ params. #43

Sign in to view logs

Generate base construtors for inductives with univ params.

Generate base construtors for inductives with univ params. #43

This job was skipped