Skip to content
Build and test FStar

An induction principle for reflexive transitive closure #4277

Sign in to view logs

An induction principle for reflexive transitive closure

An induction principle for reflexive transitive closure #4277

Triggered via pull request November 7, 2024 04:33
@nikswamynikswamy
opened #3609
_nik_induction_on_reflexive_transitive_closure
Status Success
Total duration 21m 57s
Artifacts –

linux-x64.yaml

on: pull_request
build
11m 57s
build
Fit to window
Zoom out
Zoom in