Re: [fstar-club] Noob questions

the LowStar namespace. This would > also be a good way to review and discuss together to make sure we come up > with something compelling once it lands in ulib. > > Hope this helps! > > ~ jonathan > -- > *From:* fstar-club on behalf >

Re: [fstar-club] Noob questions

ear Christian, > > > > Thanks for your interest in F*! > > > > I respond to some of your questions quite broadly below. I’ll let others > respond further with more specifics. > > > > -Nik > > > > *From:* fstar-club *On Behalf > Of *Christian Nyumb