COMONO.id
Home Writing Contact

Reach me here:

  • dunnla@seas.upenn.edu
  • lawrence@comono.id
  • dunnl

Privacy

If you like, you can download my public PGP certificate here
Fingerprint: 8179 AB54 659F 63E7 EDDD 756B BF4E 79D7 8494 661E
Key ID: BF4E 79D7 8494 661E

Links

  • Return to top
  • Tealeaves (Coq library)

Connect

  • dunnla@seas.upenn.edu
  • lawrence@comono.id
  • dunnl
Copyright © 2017—2021 by Lawrence Dunn.