Michael Morami's repositories
openzeppelin-contracts-for-contest
OpenZeppelin Contracts is a library for secure smart contract development.
MIT000
MeetingSchedulerTest
Testing Ariel's script on scheduler
Language:Solidity000
aave-protocol-v2-AStETH
Aave Protocol V2 AStETH verification
NOASSERTION000
ethereumbook
Mastering Ethereum, by Andreas M. Antonopoulos, Gavin Wood
NOASSERTION000