Activity
Add structure projection rewrites (Part 4)
Add structure projection rewrites (Part 4)
marcusrosselUse buildUnlessUpToDate? to avoid building Rust code when fetched
Use
buildUnlessUpToDate? to avoid building Rust code when fetchedUse buildUnlessUpToDate? to avoid building Rust code when fetched
Use
buildUnlessUpToDate? to avoid building Rust code when fetchedAdd structure projection rewrites (Part 3)
Add structure projection rewrites (Part 3)
Add structure projection rewrites (Part 2)
Add structure projection rewrites (Part 2)
Use afterBuildCacheAsync when building fetchable targets
Use
afterBuildCacheAsync when building fetchable targetsRemove redundant tracking of subgoals during proof reconstruction
Remove redundant tracking of subgoals during proof reconstruction
Remove tracking for whether the goal contains a binder
Remove tracking for whether the goal contains a binder
Determine ambient mvars based on mctx depth
Determine ambient mvars based on mctx depth
Correctly transport proofs to lower mctx depth
Correctly transport proofs to lower mctx depth
memoryleak47Add GitHub action for creating releases
Add GitHub action for creating releases
Force push