Skip to content

feat(Crypto): define PRGs and their security definition - #876

Open
SamuelSchlesinger wants to merge 1 commit into
leanprover:mainfrom
SamuelSchlesinger:samschlesinger/pseudorandom-generators
Open

feat(Crypto): define PRGs and their security definition#876
SamuelSchlesinger wants to merge 1 commit into
leanprover:mainfrom
SamuelSchlesinger:samschlesinger/pseudorandom-generators

feat(Crypto): define PRG security against admissible adversaries

013616a
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check-pr-title
succeeded Sep 5, 2026 in 2s