• Log In
  • Artists
  • Posts
  • Pools
  • Sets
  • Tags
  • Blips
  • Comments
  • Forum
    •
  • Listing
  • Search
  • Help
  • Posts (2)
  • History
    •  Sign In
  • Themes
    •
  • Wiki
  • Help
  • SubscribeStar
  • More
    •
    News: May 04, 2025 Show

    4th May: We now have support for AV1 encoded videos inside MP4 files! For more technical information on accepted filetypes, see this wiki page.

    April 27th: The 2025 staff drive is now CLOSED! Thank you everyone that applied! Please keep an eye on your Dmails over the next week.

    We still have a Discord server, come talk to us!
    Want to advertise on e621? Click here!
    Are you an artist uploading your own art to e621? Get verified now!

    . close
    Blacklisted
    (help)

    Recent Changes (all)

    • m4dd
    • imminent enslavement
    • clean-o-vac
    • werehog fan
    • spootnik 1
    • rocket jump
    • dylan mitchell (christine fury )
    • mili (musician)
    • vector (basaltdragon)
    • disvain (sea otter)
    • mugishinbase
    • aggressive fertilization
    • dust buddy
    • sartefi
    • gnarpington
    • justvoringaround
    • carmen mariposa
    • koa (eww)
    • siggy (eww)
    • olive elephant
    • elinor rabbit
    • ari bat
    • elinor wonders why
    • alejandro possum
    • bailey (pupstruction)

    Copyright: lean theorem prover

    post #4729974

    The Lean theorem prover is an open-source programming language geared towards formal verification. Its principal developer is Leonardo de Moura of AWS.

    Posts (view all)

    post #4729974
    ↑4♥4C0S
    post #4223249
    ↑5♥5C1S

    Over 18?

    You must be 18 years or older and agree to the terms of service to access this website.

    Content that is commonly considered objectionable is blacklisted by default. You may remove tags from this blacklist using the corresponding menu item.

    Rules Takedowns Privacy Contact Advertising Running e621ng v. 25.06.11 Themes / Gestures Keyboard Shortcuts Mobile mode: ON