Nishant Kheterpal

icon indicating a website link https://nishant.page icon indicating an email [email protected]

icon location San Francisco, CA icon location now: phd student @michiganrobotics // before: research @uber-atg, simulation @ ike, @flow-project, berkeley eecs '18

Results 2 issues of Nishant Kheterpal

Added theorem keyword

In-progress PR to add a `theorem` keyword in the style of `test ... end` to Hazel. Based on `dev` branch, not [`stepper-rewrites`](https://github.com/hazelgrove/hazel/tree/stepper-rewrites) Need to - rebase on latest `dev` -...

Adds theorem and proof construct

3 comment

Replaces https://github.com/hazelgrove/hazel/pull/1263. In-progress PR to add a theorem keyword in the style of let-equals-in to Hazel. Based on [stepper-rewrites](https://github.com/hazelgrove/hazel/tree/stepper-rewrites) this time.