Oldest pages

From The Twelf Project
Jump to: navigation, search

Showing below up to 50 results in range #1 to #50.

View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)

  1. Using nat-less with %reduces‏‎ (18:26, 27 September 2006)
  2. Mailing lists‏‎ (03:02, 28 September 2006)
  3. Function‏‎ (14:04, 10 October 2006)
  4. Sets and supersets‏‎ (07:52, 13 October 2006)
  5. Twelf Elf Rotation Charter‏‎ (22:23, 14 October 2006)
  6. Indexed lists‏‎ (16:38, 20 October 2006)
  7. Ambiguous hyperkind‏‎ (18:59, 26 October 2006)
  8. Unsafe mode‏‎ (08:29, 29 December 2006)
  9. %assert‏‎ (16:12, 29 December 2006)
  10. %prove‏‎ (19:07, 29 December 2006)
  11. %establish‏‎ (19:08, 29 December 2006)
  12. Meta-logic‏‎ (14:43, 26 February 2007)
  13. Ground‏‎ (15:47, 26 February 2007)
  14. %tabled‏‎ (09:23, 28 February 2007)
  15. %thaw‏‎ (15:18, 28 February 2007)
  16. %use‏‎ (17:40, 28 February 2007)
  17. TwelfTag‏‎ (05:39, 3 March 2007)
  18. %querytabled‏‎ (18:53, 9 March 2007)
  19. Converting between implicit and explicit parameters‏‎ (17:56, 15 March 2007)
  20. Strengthening‏‎ (20:36, 15 March 2007)
  21. Numeric termination metrics‏‎ (20:56, 15 March 2007)
  22. Equivalence relation‏‎ (03:09, 16 March 2007)
  23. %clause‏‎ (04:57, 18 March 2007)
  24. %solve‏‎ (05:27, 18 March 2007)
  25. Hypothetical judgment‏‎ (23:08, 19 March 2007)
  26. Congruence relation‏‎ (23:23, 19 March 2007)
  27. Linear logic‏‎ (07:26, 20 March 2007)
  28. Zermelo Frankel‏‎ (07:30, 20 March 2007)
  29. Lexicographical orderings with density‏‎ (07:31, 20 March 2007)
  30. Classical S5‏‎ (07:34, 20 March 2007)
  31. Lily‏‎ (07:34, 20 March 2007)
  32. Beta-equivalence‏‎ (14:19, 20 March 2007)
  33. Weakening lemma‏‎ (20:38, 20 March 2007)
  34. Adequacy‏‎ (21:20, 20 March 2007)
  35. Twelf signature‏‎ (23:59, 20 March 2007)
  36. Unification‏‎ (00:30, 21 March 2007)
  37. Dependent types‏‎ (01:48, 21 March 2007)
  38. User's Guide‏‎ (02:04, 21 March 2007)
  39. Syntax (Object logic)‏‎ (02:15, 21 March 2007)
  40. Type family‏‎ (02:55, 21 March 2007)
  41. Relation‏‎ (03:00, 21 March 2007)
  42. World subsumption‏‎ (04:16, 21 March 2007)
  43. Hereditary substitution for the STLC (part 2)‏‎ (13:07, 21 March 2007)
  44. %total‏‎ (15:27, 21 March 2007)
  45. Eta-equivalence‏‎ (04:57, 26 March 2007)
  46. Canonical form‏‎ (04:58, 26 March 2007)
  47. Modes of use‏‎ (05:38, 12 April 2007)
  48. Theorem prover‏‎ (00:49, 15 May 2007)
  49. Naming conventions‏‎ (12:27, 26 September 2007)
  50. Ask Twelf Elf:Short answers‏‎ (12:29, 26 September 2007)

View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)