Anna Slobodova's repositories
acl2
ACL2 System and Books as Maintained by the Community
Language:Common LispNOASSERTION000
riscv-bitmanip
Working draft of the proposed RISC-V Bitmanipulation extension
Language:MakefileCC-BY-4.0000
ACL2 System and Books as Maintained by the Community
Working draft of the proposed RISC-V Bitmanipulation extension