Posts By: Tim Leonard
| Date | Post | Topic |
| 02/27/2008 | Did you look at HOL-Light, Isabelle, or ACL2? | Pure, Declarative, and Constructive Arithmetic Relations |
| 10/08/2007 | Check out reFLect, Bluespec, Lava, Esterel, Hawk, Ruby, ... | It's Time to Stop Calling Circuits "Hardware" |
| 12/11/2006 | Use BMC for bounded checking like this | Mechanized Metatheory Model-Checking |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |