lean4-code-actions/libs/utils/fast-check/random.ts

Refactorings and snippets for Lean 4

import { Random } from 'fast-check'
import prand from 'pure-rand'

export const random = new Random(prand.xoroshiro128plus(Date.now()))