Skip to content

Suggestion for changing the semantics of ** in case the first argument is 0#5

Open
yoni206 wants to merge 1 commit into
SMT-LIB:mainfrom
yoni206:exp-no-partial
Open

Suggestion for changing the semantics of ** in case the first argument is 0#5
yoni206 wants to merge 1 commit into
SMT-LIB:mainfrom
yoni206:exp-no-partial

suggestion

39ba834
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs