parsewave

lean-aeneas-base lean-4.29.0 Public Latest

Install from the command line

Learn more about packages


      
  
      
        $ docker pull ghcr.io/parsewave/lean-aeneas-base:lean-4.29.0

Recent tagged image versions

lean-4.29.0

Published 3 months ago · Digest
sha256:dcbd7083b769081c1f02e64b2af6cc7288adcf08ace08979522de29ef743f555

14 Version downloads

View all tagged versions

Loading

Last published

3 months ago

Total downloads

16