Does F# have refienment types or something similar?

Hello, i would like to learn a new functional languages. So i am considering F#, but does it have a way to prove properties about programs or totality checking? I have used idris2 and liquid haskell, which allow that