Perspicuous-Computing
Efficient and reliable software & hardware with simple formal specifications and machine-checked proofs.
Perspicuous-Computing's Repositories
Perspicuous-Computing doesn’t have any repository yet.
Efficient and reliable software & hardware with simple formal specifications and machine-checked proofs.
Perspicuous-Computing doesn’t have any repository yet.