Brunobkr/llama.cpp_AlgMor24_github
ΩFFFΣLLIa • llama.cpp • AlgMor24 ██████╗ ███████╗███████╗███████╗██╗ ██╗ ██╗ █████╗ ██╔═══██╗██╔════╝██╔════╝██╔════╝██║ ██║ ██║██╔══██╗ ██║ ██║█████╗ █████╗ █████╗ ██║ ██║ ██║███████║ ██║ ██║██╔══╝ ██╔══╝ ██╔══╝ ██║ ██║ ██║██╔══██║ ╚██████╔╝██║ ██║ ███████╗███████╗███████╗██║██║ ██║ ╚═════╝ ╚═╝ ╚═╝ ╚══════╝╚══════╝╚══════╝╚═╝╚═╝ ╚═╝ High-Performance LLM / VLM Inference & Autonomous Agentic Ecosystem… See the full description on the dataset page: https://huggingface.co/datasets/Brunobkr/llama.cpp_AlgMor24_github.
03.1k
1/*2Language: Mizar3Description: The Mizar Language is a formal language derived from the mathematical vernacular.4Author: Kelley van Evert <kelleyvanevert@gmail.com>5Website: http://mizar.org/language/6Category: scientific7*/8 9function mizar(hljs) {10 return {11 name: 'Mizar',12 keywords:13 'environ vocabularies notations constructors definitions '14 + 'registrations theorems schemes requirements begin end definition '15 + 'registration cluster existence pred func defpred deffunc theorem '16 + 'proof let take assume then thus hence ex for st holds consider '17 + 'reconsider such that and in provided of as from be being by means '18 + 'equals implies iff redefine define now not or attr is mode '19 + 'suppose per cases set thesis contradiction scheme reserve struct '20 + 'correctness compatibility coherence symmetry assymetry '21 + 'reflexivity irreflexivity connectedness uniqueness commutativity '22 + 'idempotence involutiveness projectivity',23 contains: [ hljs.COMMENT('::', '$') ]24 };25}26 27module.exports = mizar;28