Skip to content

[WIP] Model unsafe functions as noncomputable #2978

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
joshlf wants to merge 1 commit into
base: G0b9216c6738c722e3424be5ee5e085157b5813f9
Choose a base branch
from

[WIP] Model unsafe functions as noncomputable

0c4aad9
Select commit
Loading
Failed to load commit list.
Open

[WIP] Model unsafe functions as noncomputable #2978

[WIP] Model unsafe functions as noncomputable
0c4aad9
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar