Commit Graph

Select branches

Hide Pull Requests

trunk

Mono Color

• 24cbeb01fb
  
  Add script trunk Nathan McCarty 2023-06-30 17:52:06 -0400
• 1760675a1e
  
  Define plus Nathan McCarty 2023-06-30 10:36:01 -0400
• 267fabf43e
  
  Define the natural numbers Nathan McCarty 2023-06-29 20:53:15 -0400
• 7f40878575
  
  Initial commit Nathan McCarty 2023-06-29 13:47:40 -0400