HomePhabricator

proof-of-concept theory for bit operations without a constructivistic…

Authored by florian.haftmann.

Description

proof-of-concept theory for bit operations without a constructivistic representation and a minimal common logical foundation

Details

Committed
florian.haftmannNov 4 2019, 9:38 PM
Parents
rISABELLEfdb6c5034c24: merged
Branches
Unknown
Tags
Unknown