Recent Posts

• Decomposing a factorial into large factors (second version)
  by jeremyscanvicon 6/4/2025, 6:26:06 AM with 0 comments
• A Lean companion to Analysis I
  by jeremyscanvicon 5/31/2025, 4:55:37 PM with 14 comments
• A proof of concept tool to verify estimates
  by jeremyscanvicon 5/2/2025, 9:35:20 AM with 1 comment
• Aliasing and Image Resizing
  by jeremyscanvicon 4/25/2025, 11:42:06 AM with 0 comments