F*: A general-purpose proof-oriented programming language

F*는 일반 목적의 증명 지향 프로그래밍 언어입니다.

F*는 프로그래머가 코드에서 수학적 증명을 작성할 수 있도록 지원하는 일반 목적의 프로그래밍 언어입니다. 이 언어는 안전하고 효율적인 소프트웨어 개발을 목표로 하며, 함수형 프로그래밍 패러다임을 기반으로 하고 있습니다. R&D 분야에서의 활용 가능성도 큽니다.

F* is a general-purpose proof-oriented programming language.

F* is a general-purpose programming language that supports programmers in writing mathematical proofs within their code. The language aims for safe and efficient software development and is based on the functional programming paradigm. Its potential applications in R&D are also significant.